![]() |
OR-Tools
8.2
|
Classes | |
struct | Options |
Public Member Functions | |
CircuitPropagator (int num_nodes, const std::vector< int > &tails, const std::vector< int > &heads, const std::vector< Literal > &literals, Options options, Model *model) | |
void | SetLevel (int level) final |
bool | Propagate () final |
bool | IncrementalPropagate (const std::vector< int > &watch_indices) final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
CircuitPropagator | ( | int | num_nodes, |
const std::vector< int > & | tails, | ||
const std::vector< int > & | heads, | ||
const std::vector< Literal > & | literals, | ||
Options | options, | ||
Model * | model | ||
) |
Definition at line 25 of file circuit.cc.
|
finalvirtual |
Reimplemented from PropagatorInterface.
Definition at line 153 of file circuit.cc.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 197 of file circuit.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 92 of file circuit.cc.
|
finalvirtual |
Implements ReversibleInterface.
Definition at line 108 of file circuit.cc.