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 191 of file brancher.hpp.
const int Gecode::Pos::pos |
Position of view.
Definition at line 62 of file brancher.hpp.