operations_research::sat::CircuitCoveringPropagator Class Reference

Detailed Description

Definition at line 183 of file circuit.h.

#include <circuit.h>

Inheritance diagram for operations_research::sat::CircuitCoveringPropagator:

Public Member Functions
	CircuitCoveringPropagator (std::vector< std::vector< Literal > > graph, absl::Span< const 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()

operations_research::sat::CircuitCoveringPropagator::CircuitCoveringPropagator	(	std::vector< std::vector< Literal > >	graph,
		absl::Span< const int >	distinguished_nodes,
		Model *	model )

Definition at line 537 of file circuit.cc.

Member Function Documentation

IncrementalPropagate()

bool operations_research::sat::CircuitCoveringPropagator::IncrementalPropagate ( const std::vector< int > & watch_indices )

finalvirtual

Reimplemented from operations_research::sat::PropagatorInterface.

Definition at line 582 of file circuit.cc.

Propagate()

bool operations_research::sat::CircuitCoveringPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 603 of file circuit.cc.

RegisterWith()

void operations_research::sat::CircuitCoveringPropagator::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 549 of file circuit.cc.

SetLevel()

void operations_research::sat::CircuitCoveringPropagator::SetLevel ( int level )

finalvirtual

Implements operations_research::ReversibleInterface.

Definition at line 569 of file circuit.cc.

---

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

• ortools/sat/circuit.h
• ortools/sat/circuit.cc