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 |
| 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 56 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>
| 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: 8082)