Generated on Wed Nov 20 2013 05:25:11 for Gecode by doxygen 1.8.5
Public Attributes | List of all members
Gecode::MiniModel::PosInfo Class Reference

Information on positions collected during traversal. More...

Public Attributes

int symbol
 
PosSet * followpos
 

Detailed Description

Information on positions collected during traversal.

Definition at line 468 of file reg.cpp.

Member Data Documentation

int Gecode::MiniModel::PosInfo::symbol

Definition at line 470 of file reg.cpp.

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

Definition at line 471 of file reg.cpp.

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