Skip to main content

Module watch

vivacity_resolver

Module watch 

Source
Expand description

Port of RuleWatchGraph, RuleWatchNode, RuleWatchChain: two watched literals per rule (all of them for a MultiConflictRule), one chain per literal, inserted at the head of the list (unshift).

Structs§

RuleWatchGraph
RuleWatchNode