Detailed Description

Definition at line 85 of file implied_bounds.h.

Public Member Functions
	ImpliedBounds (Model *model)

	~ImpliedBounds ()

bool	Add (Literal literal, IntegerLiteral integer_literal)

void	AddLiteralImpliesVarEqValue (Literal literal, IntegerVariable var, IntegerValue value)

bool	ProcessIntegerTrail (Literal first_decision)

const std::vector< ImpliedBoundEntry > &	GetImpliedBounds (IntegerVariable var)

const std::vector< IntegerVariable > &	VariablesWithImpliedBounds () const

const absl::flat_hash_map< IntegerVariable, IntegerValue > &	GetImpliedValues (Literal literal) const

void	AddElementEncoding (IntegerVariable var, const std::vector< ValueLiteralPair > &encoding, int exactly_one_index)

const absl::flat_hash_map< int, std::vector< ValueLiteralPair > > &	GetElementEncodings (IntegerVariable var)

const std::vector< IntegerVariable > &	GetElementEncodedVariables () const

bool	EnqueueNewDeductions ()

Constructor & Destructor Documentation

◆ ImpliedBounds()

ImpliedBounds ( Model * model )

inlineexplicit

Definition at line 87 of file implied_bounds.h.

◆ ~ImpliedBounds()

~ImpliedBounds ( )

Definition at line 45 of file implied_bounds.cc.

Member Function Documentation

◆ Add()

bool Add	(	Literal	literal,
		IntegerLiteral	integer_literal
	)

Definition at line 56 of file implied_bounds.cc.

◆ AddElementEncoding()

void AddElementEncoding	(	IntegerVariable	var,
		const std::vector< ValueLiteralPair > &	encoding,
		int	exactly_one_index
	)

Definition at line 221 of file implied_bounds.cc.

◆ AddLiteralImpliesVarEqValue()

void AddLiteralImpliesVarEqValue	(	Literal	literal,
		IntegerVariable	var,
		IntegerValue	value
	)

Definition at line 199 of file implied_bounds.cc.

◆ EnqueueNewDeductions()

bool EnqueueNewDeductions ( )

◆ GetElementEncodedVariables()

const std::vector< IntegerVariable > & GetElementEncodedVariables ( ) const

Definition at line 237 of file implied_bounds.cc.

◆ GetElementEncodings()

const absl::flat_hash_map< int, std::vector< ValueLiteralPair > > & GetElementEncodings ( IntegerVariable var )

Definition at line 228 of file implied_bounds.cc.

◆ GetImpliedBounds()

const std::vector< ImpliedBoundEntry > & GetImpliedBounds ( IntegerVariable var )

Definition at line 179 of file implied_bounds.cc.

◆ GetImpliedValues()

const absl::flat_hash_map<IntegerVariable, IntegerValue>& GetImpliedValues ( Literal literal ) const

inline

Definition at line 125 of file implied_bounds.h.

◆ ProcessIntegerTrail()

bool ProcessIntegerTrail ( Literal first_decision )

Definition at line 209 of file implied_bounds.cc.

◆ VariablesWithImpliedBounds()

const std::vector<IntegerVariable>& VariablesWithImpliedBounds ( ) const