SymmetryBreaker

Detailed Description

A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in return.

Each symmetry breaker represents one class of symmetry.

Definition at line 1978 of file constraint_solveri.h.

Public Member Functions
	SymmetryBreaker ()
	~SymmetryBreaker () override
void	AddIntegerVariableEqualValueClause (IntVar *const var, int64 value)
void	AddIntegerVariableGreaterOrEqualValueClause (IntVar *const var, int64 value)
void	AddIntegerVariableLessOrEqualValueClause (IntVar *const var, int64 value)

Constructor & Destructor Documentation

SymmetryBreaker()

SymmetryBreaker ( )

inline

Definition at line 1980 of file constraint_solveri.h.

~SymmetryBreaker()

~SymmetryBreaker ( )

inlineoverride

Definition at line 1982 of file constraint_solveri.h.

Member Function Documentation

AddIntegerVariableEqualValueClause()

void AddIntegerVariableEqualValueClause	(	IntVar *const	var,
		int64	value
	)

AddIntegerVariableGreaterOrEqualValueClause()

void AddIntegerVariableGreaterOrEqualValueClause	(	IntVar *const	var,
		int64	value
	)

AddIntegerVariableLessOrEqualValueClause()

void AddIntegerVariableLessOrEqualValueClause	(	IntVar *const	var,
		int64	value
	)

---

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

• constraint_solveri.h