Position information. More...
#include <brancher-view.hpp>
Public Member Functions | |
Pos (int p) | |
Create position information. More... | |
Public Attributes | |
const int | pos |
Position of view. More... | |
Position information.
Definition at line 48 of file brancher-view.hpp.
|
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.