![]() |
OR-Tools
8.2
|
Public Member Functions | |
CircuitCoveringPropagator (std::vector< std::vector< Literal > > graph, const std::vector< int > &distinguished_nodes, Model *model) | |
void | SetLevel (int level) final |
bool | Propagate () final |
bool | IncrementalPropagate (const std::vector< int > &watch_indices) final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
CircuitCoveringPropagator | ( | std::vector< std::vector< Literal > > | graph, |
const std::vector< int > & | distinguished_nodes, | ||
Model * | model | ||
) |
Definition at line 308 of file circuit.cc.
|
finalvirtual |
Reimplemented from PropagatorInterface.
Definition at line 353 of file circuit.cc.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 374 of file circuit.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 320 of file circuit.cc.
|
finalvirtual |
Implements ReversibleInterface.
Definition at line 340 of file circuit.cc.