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 395 of file linear.cpp.