
Position information. More...
#include <brancher.hpp>
Public Member Functions | |
| Pos (int p) | |
| Create position information. | |
Public Attributes | |
| const int | pos |
| Position of view. | |
Position information.
Definition at line 59 of file brancher.hpp.
| Gecode::Pos::Pos | ( | int | p | ) | [inline] |
Create position information.
Definition at line 197 of file brancher.hpp.
| const int Gecode::Pos::pos |
Position of view.
Definition at line 62 of file brancher.hpp.