
Test sorted with permutation variables More...
Public Member Functions | |
| PermVar (void) | |
| Create and register test. | |
| virtual bool | solution (const Assignment &xyz) const |
| Test whether xyz is solution | |
| virtual void | post (Gecode::Space &home, Gecode::IntVarArray &xyz) |
| Post constraint on xyz. | |
Static Protected Attributes | |
| static const int | n = 3 |
| Number of variables to be sorted. | |
Test sorted with permutation variables
Definition at line 103 of file sorted.cpp.
| Test::Int::Sorted::PermVar::PermVar | ( | void | ) | [inline] |
Create and register test.
Definition at line 109 of file sorted.cpp.
| virtual bool Test::Int::Sorted::PermVar::solution | ( | const Assignment & | xyz | ) | const [inline, virtual] |
| virtual void Test::Int::Sorted::PermVar::post | ( | Gecode::Space & | home, |
| Gecode::IntVarArray & | xyz | ||
| ) | [inline, virtual] |
const int Test::Int::Sorted::PermVar::n = 3 [static, protected] |
Number of variables to be sorted.
Definition at line 106 of file sorted.cpp.