Tests for Boolean constraints More...
Classes | |
class | BinConstXX |
Test for binary Boolean operation with shared variables and constant More... | |
class | BinConstXY |
Test for binary Boolean operation with constant More... | |
class | BinXXX |
Test for binary Boolean operation with shared variables More... | |
class | BinXXY |
Test for binary Boolean operation with shared variables More... | |
class | BinXYX |
Test for binary Boolean operation with shared variables More... | |
class | BinXYY |
Test for binary Boolean operation with shared variables More... | |
class | BinXYZ |
Test for binary Boolean operation More... | |
class | ClauseConst |
Test for Clause Boolean operation with constant More... | |
class | ClauseXXY |
Test for Clause Boolean operation More... | |
class | ClauseXXYYX |
Test for Clause Boolean operation More... | |
class | ClauseXYZ |
Test for Clause Boolean operation More... | |
class | Create |
Help class to create and register tests. More... | |
class | ITEBool |
Test for if-then-else-constraint More... | |
class | ITEInt |
Test for if-then-else-constraint More... | |
class | Nary |
Test for Nary Boolean operation More... | |
class | NaryConst |
Test for Nary Boolean operation with constant More... | |
class | NaryShared |
Test for Nary Boolean operation More... |
Functions | |
int | check (int x0, Gecode::BoolOpType op, int x1) |
Variables | |
Create | c |
ITEInt | itebnd (Gecode::IPL_BND) |
ITEInt | itedom (Gecode::IPL_DOM) |
ITEBool | itebool |
Tests for Boolean constraints
|
inline |
ITEInt Test::Int::Bool::itebnd(Gecode::IPL_BND) | ( | Gecode::IPL_BND | ) |
ITEInt Test::Int::Bool::itedom(Gecode::IPL_DOM) | ( | Gecode::IPL_DOM | ) |