IntegerSumLE

Detailed Description

Definition at line 58 of file integer_expr.h.

Public Member Functions
	IntegerSumLE (const std::vector< Literal > &enforcement_literals, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, IntegerValue upper_bound, Model *model)
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)
bool	PropagateAtLevelZero ()
std::pair< IntegerValue, IntegerValue >	ConditionalLb (IntegerLiteral integer_literal, IntegerVariable target_var) const
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

IntegerSumLE()

IntegerSumLE	(	const std::vector< Literal > &	enforcement_literals,
		const std::vector< IntegerVariable > &	vars,
		const std::vector< IntegerValue > &	coeffs,
		IntegerValue	upper_bound,
		Model *	model
	)

Definition at line 43 of file integer_expr.cc.

Member Function Documentation

ConditionalLb()

std::pair< IntegerValue, IntegerValue > ConditionalLb	(	IntegerLiteral	integer_literal,
		IntegerVariable	target_var
	)		const

Definition at line 91 of file integer_expr.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 178 of file integer_expr.cc.

PropagateAtLevelZero()

bool PropagateAtLevelZero

(

)

Definition at line 296 of file integer_expr.cc.

RegisterWith()

void RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 338 of file integer_expr.cc.

---

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

• integer_expr.h
• integer_expr.cc