Gecode::MiniModel::ExpInfo Class Reference
Expression information. More...
Public Member Functions | |
ExpInfo (REG::Exp *e=NULL) | |
Public Attributes | |
REG::Exp * | exp |
bool | open |
Detailed Description
Constructor & Destructor Documentation
Gecode::MiniModel::ExpInfo::ExpInfo | ( | REG::Exp * | e = NULL | ) | [inline] |
Member Data Documentation
The documentation for this class was generated from the following file:
- gecode/minimodel/reg.cpp (Revision: 11279)