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