operations_research::SymmetryBreaker Class Reference

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

#include <constraint_solveri.h>

Inheritance diagram for operations_research::SymmetryBreaker:

List of all members.

Public Member Functions
	SymmetryBreaker ()
virtual	~SymmetryBreaker ()
void	AddIntegerVariableEqualValueClause (IntVar *const var, int64 value)
	Symmetry Breaker.
void	AddIntegerVariableGreaterOrEqualValueClause (IntVar *const var, int64 value)
void	AddIntegerVariableLessOrEqualValueClause (IntVar *const var, int64 value)
Friends
class	SymmetryManager

---

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 1282 of file constraint_solveri.h.

---

Constructor & Destructor Documentation

operations_research::SymmetryBreaker::SymmetryBreaker

(

)

[inline]

Definition at line 1284 of file constraint_solveri.h.

virtual operations_research::SymmetryBreaker::~SymmetryBreaker

(

)

[inline, virtual]

Definition at line 1285 of file constraint_solveri.h.

---

Member Function Documentation

void operations_research::SymmetryBreaker::AddIntegerVariableEqualValueClause	(	IntVar *const	var,
		int64	value
	)

Symmetry Breaker.

Definition at line 4557 of file search.cc.

void operations_research::SymmetryBreaker::AddIntegerVariableGreaterOrEqualValueClause	(	IntVar *const	var,
		int64	value
	)

Definition at line 4565 of file search.cc.

void operations_research::SymmetryBreaker::AddIntegerVariableLessOrEqualValueClause	(	IntVar *const	var,
		int64	value
	)

Definition at line 4573 of file search.cc.

---

Friends And Related Function Documentation

friend class SymmetryManager [friend]

Definition at line 1293 of file constraint_solveri.h.

---

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

• or-tools/src/constraint_solver/constraint_solveri.h
• or-tools/src/constraint_solver/search.cc