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 |