OR-Tools  9.6
Classes | Public Member Functions | List of all members
CircuitPropagator

Detailed Description

Definition at line 47 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 33 of file circuit.cc.

Member Function Documentation

◆ IncrementalPropagate()

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

Reimplemented from PropagatorInterface.

Definition at line 160 of file circuit.cc.

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 204 of file circuit.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher *  watcher)

Definition at line 100 of file circuit.cc.

◆ SetLevel()

void SetLevel ( int  level)
finalvirtual

Implements ReversibleInterface.

Definition at line 115 of file circuit.cc.

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