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:

• circuit.h
• circuit.cc