OR-Tools  8.2
CircuitPropagator Member List

This is the complete list of members for CircuitPropagator, including all inherited members.

CircuitPropagator(int num_nodes, const std::vector< int > &tails, const std::vector< int > &heads, const std::vector< Literal > &literals, Options options, Model *model)CircuitPropagator
IncrementalPropagate(const std::vector< int > &watch_indices) finalCircuitPropagatorvirtual
Propagate() finalCircuitPropagatorvirtual
RegisterWith(GenericLiteralWatcher *watcher)CircuitPropagator
SetLevel(int level) finalCircuitPropagatorvirtual