Generated on Tue Sep 25 2012 20:53:29 for Gecode by doxygen 1.7.5
Gecode::Int::Circuit::SsccInfo Class Reference

Information required for non-recursive checking for a single scc. More...

#include <base.hpp>

List of all members.

Public Attributes

int min
int low
int pre
Int::ViewValues< View > v

Detailed Description

Information required for non-recursive checking for a single scc.


Member Data Documentation

Definition at line 59 of file base.hpp.

Definition at line 59 of file base.hpp.

Definition at line 59 of file base.hpp.

Definition at line 60 of file base.hpp.


The documentation for this class was generated from the following file: