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

Detailed Description

Definition at line 121 of file circuit.h.

Public Member Functions

 NoCyclePropagator (int num_nodes, const std::vector< int > &tails, const std::vector< int > &heads, const std::vector< Literal > &literals, Model *model)
 
void SetLevel (int level) final
 
bool Propagate () final
 
bool IncrementalPropagate (const std::vector< int > &watch_indices) final
 

Constructor & Destructor Documentation

◆ NoCyclePropagator()

NoCyclePropagator ( int  num_nodes,
const std::vector< int > &  tails,
const std::vector< int > &  heads,
const std::vector< Literal > &  literals,
Model *  model 
)

Definition at line 343 of file circuit.cc.

Member Function Documentation

◆ IncrementalPropagate()

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

Reimplemented from PropagatorInterface.

Definition at line 417 of file circuit.cc.

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 435 of file circuit.cc.

◆ SetLevel()

void SetLevel ( int  level)
finalvirtual

Implements ReversibleInterface.

Definition at line 399 of file circuit.cc.

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