Gecode::MiniModel::PosInfo Class Reference

List of all members.

---

Detailed Description

Information on positions collected during traversal.

Definition at line 494 of file reg.cc.

Public Attributes
int	symbol
PosSet *	followpos

---

Member Data Documentation

int Gecode::MiniModel::PosInfo::symbol

Definition at line 496 of file reg.cc.

PosSet* Gecode::MiniModel::PosInfo::followpos

Definition at line 497 of file reg.cc.

---

The documentation for this class was generated from the following file:

• gecode/minimodel/reg.cc (Revision: 6102)