Information on positions collected during traversal.
More...
Detailed Description
Information on positions collected during traversal.
Definition at line 468 of file reg.cpp.
Member Data Documentation
int Gecode::MiniModel::PosInfo::symbol |
PosSet* Gecode::MiniModel::PosInfo::followpos |
The documentation for this class was generated from the following file: