LinearPropagator

Detailed Description

Definition at line 167 of file linear_propagation.h.

Public Member Functions
	LinearPropagator (Model *model)
	~LinearPropagator () override
bool	Propagate () final
void	SetLevel (int level) final
void	AddConstraint (absl::Span< const Literal > enforcement_literals, absl::Span< const IntegerVariable > vars, absl::Span< const IntegerValue > coeffs, IntegerValue upper_bound)
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

LinearPropagator()

LinearPropagator ( Model *  model )

explicit

Definition at line 373 of file linear_propagation.cc.

~LinearPropagator()

~LinearPropagator ( )

override

Definition at line 394 of file linear_propagation.cc.

Member Function Documentation

AddConstraint()

void AddConstraint	(	absl::Span< const Literal >	enforcement_literals,
		absl::Span< const IntegerVariable >	vars,
		absl::Span< const IntegerValue >	coeffs,
		IntegerValue	upper_bound
	)

Definition at line 480 of file linear_propagation.cc.

IncrementalPropagate()

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

inlinevirtualinherited

Reimplemented in LinearProgrammingConstraint, SchedulingConstraintHelper, CircuitCoveringPropagator, NoCyclePropagator, and CircuitPropagator.

Definition at line 1298 of file integer.h.

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

Definition at line 440 of file linear_propagation.cc.

SetLevel()

void SetLevel ( int  level )

finalvirtual

Implements ReversibleInterface.

Definition at line 413 of file linear_propagation.cc.

---

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

• linear_propagation.h
• linear_propagation.cc