OR-Tools  8.2
CircuitCoveringPropagator Member List

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

CircuitCoveringPropagator(std::vector< std::vector< Literal >> graph, const std::vector< int > &distinguished_nodes, Model *model)CircuitCoveringPropagator
IncrementalPropagate(const std::vector< int > &watch_indices) finalCircuitCoveringPropagatorvirtual
Propagate() finalCircuitCoveringPropagatorvirtual
RegisterWith(GenericLiteralWatcher *watcher)CircuitCoveringPropagator
SetLevel(int level) finalCircuitCoveringPropagatorvirtual