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:

• circuit.h
• circuit.cc