Public Member Functions | |
TestSpace (void) | |
Constructor for creation. | |
TestSpace (bool share, TestSpace &s) | |
Constructor for cloning s. | |
void | post (void) |
Post arbitrary propagator. | |
virtual Space * | copy (bool share) |
Copy during cloning. | |
Protected Attributes | |
Gecode::IntVar | x |
Two integer variables. | |
Gecode::IntVar | y |
Test::AFC::TestSpace::TestSpace | ( | void | ) | [inline] |
Test::AFC::TestSpace::TestSpace | ( | bool | share, |
TestSpace & | s | ||
) | [inline] |
void Test::AFC::TestSpace::post | ( | void | ) | [inline] |
virtual Space* Test::AFC::TestSpace::copy | ( | bool | share | ) | [inline, virtual] |
Gecode::IntVar Test::AFC::TestSpace::x [protected] |
Gecode::IntVar Test::AFC::TestSpace::y [protected] |