OR-Tools  8.2
CircuitCoveringPropagator

Detailed Description

Definition at line 131 of file circuit.h.

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)
 

Constructor & Destructor Documentation

◆ CircuitCoveringPropagator()

CircuitCoveringPropagator ( std::vector< std::vector< Literal >>  graph,
const std::vector< int > &  distinguished_nodes,
Model model 
)

Definition at line 308 of file circuit.cc.

Member Function Documentation

◆ IncrementalPropagate()

bool IncrementalPropagate ( const std::vector< int > &  watch_indices)
finalvirtual

Reimplemented from PropagatorInterface.

Definition at line 353 of file circuit.cc.

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 374 of file circuit.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 320 of file circuit.cc.

◆ SetLevel()

void SetLevel ( int  level)
finalvirtual

Implements ReversibleInterface.

Definition at line 340 of file circuit.cc.


The documentation for this class was generated from the following files: