LevelZeroEquality

Detailed Description

Definition at line 119 of file integer_expr.h.

Public Member Functions
	LevelZeroEquality (IntegerVariable target, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, Model *model)
bool	Propagate () final

Constructor & Destructor Documentation

LevelZeroEquality()

LevelZeroEquality	(	IntegerVariable	target,
		const std::vector< IntegerVariable > &	vars,
		const std::vector< IntegerValue > &	coeffs,
		Model *	model
	)

Definition at line 252 of file integer_expr.cc.

Member Function Documentation

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

Definition at line 276 of file integer_expr.cc.

---

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

• integer_expr.h
• integer_expr.cc