
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 |
Information required for non-recursive checking for a single scc.
| int Gecode::Int::Circuit::SsccInfo< View >::min |
| int Gecode::Int::Circuit::SsccInfo< View >::low |
| int Gecode::Int::Circuit::SsccInfo< View >::pre |
| Int::ViewValues<View> Gecode::Int::Circuit::SsccInfo< View >::v |