Gecode::Int::Circuit::SsccInfo< View > Class Template Reference
Detailed Description
template<class View>
class Gecode::Int::Circuit::SsccInfo< View >
Information required for non-recursive checking for a single scc.
Definition at line 54 of file base.icc.
Public Attributes | |
| int | min |
| int | low |
| int | pre |
| ViewValues< View > | v |
Member Data Documentation
template<class View>
| int Gecode::Int::Circuit::SsccInfo< View >::min |
template<class View>
| int Gecode::Int::Circuit::SsccInfo< View >::low |
template<class View>
| int Gecode::Int::Circuit::SsccInfo< View >::pre |
template<class View>
| ViewValues<View> Gecode::Int::Circuit::SsccInfo< View >::v |
The documentation for this class was generated from the following file:
- gecode/int/circuit/base.icc (Revision: 7330)