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