OR-Tools  8.2
CircuitPropagator

Detailed Description

Definition at line 44 of file circuit.h.

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)
 

Constructor & Destructor Documentation

◆ CircuitPropagator()

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.

Member Function Documentation

◆ IncrementalPropagate()

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

Reimplemented from PropagatorInterface.

Definition at line 153 of file circuit.cc.

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 197 of file circuit.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 92 of file circuit.cc.

◆ SetLevel()

void SetLevel ( int  level)
finalvirtual

Implements ReversibleInterface.

Definition at line 108 of file circuit.cc.


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