Linear constraints
[Testing finite domain integers]

Classes
class	Test::Int::Linear::IntInt
	Test linear relation over integer variables. More...
class	Test::Int::Linear::IntVar
	Test linear relation over integer variables. More...
class	Test::Int::Linear::BoolInt
	Test linear relation over Boolean variables equal to constant. More...
class	Test::Int::Linear::BoolVar
	Test linear relation over Boolean variables equal to integer variable. More...
class	Test::Int::Linear::Create
	Help class to create and register tests. More...
Variables
Create	Test::Int::Linear::c

---

Variable Documentation

Create Test::Int::Linear::c

Definition at line 377 of file linear.cc.