Generated on Thu Mar 22 10:39:56 2012 for Gecode by doxygen 1.6.3

Gecode::Int::Circuit::SsccInfo< View > Class Template 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

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

Definition at line 59 of file base.hpp.

template<class View>
int Gecode::Int::Circuit::SsccInfo< View >::low

Definition at line 59 of file base.hpp.

template<class View>
int Gecode::Int::Circuit::SsccInfo< View >::pre

Definition at line 59 of file base.hpp.

template<class View>
Int::ViewValues<View> Gecode::Int::Circuit::SsccInfo< View >::v

Definition at line 60 of file base.hpp.


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