Gecode::Int::Circuit::SsccInfo< View > Class Template Reference
Information required for non-recursive checking for a single scc. More...
#include <base.hpp>
Public Attributes | |
| int | min |
| int | low |
| int | pre |
| Int::ViewValues< View > | v |
Detailed Description
template<class View>
class Gecode::Int::Circuit::SsccInfo< View >
Information required for non-recursive checking for a single scc.
Definition at line 57 of file base.hpp.
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>
| Int::ViewValues<View> Gecode::Int::Circuit::SsccInfo< View >::v |
The documentation for this class was generated from the following file:
- gecode/int/circuit/base.hpp (Revision: 12400)