Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
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
 
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: