Gecode::TraceTraits< Int::BoolView > Class Template Reference
Trace traits for Boolean views. More...
#include <traits.hpp>
Public Types | |
typedef Int::BoolTraceView | TraceView |
typedef BoolTraceDelta | TraceDelta |
typedef unsigned int | SlackValue |
Detailed Description
template<>
class Gecode::TraceTraits< Int::BoolView >
Trace traits for Boolean views.
Definition at line 51 of file traits.hpp.
Member Typedef Documentation
typedef Int::BoolTraceView Gecode::TraceTraits< Int::BoolView >::TraceView |
Definition at line 53 of file traits.hpp.
typedef BoolTraceDelta Gecode::TraceTraits< Int::BoolView >::TraceDelta |
Definition at line 54 of file traits.hpp.
typedef unsigned int Gecode::TraceTraits< Int::BoolView >::SlackValue |
Definition at line 55 of file traits.hpp.
The documentation for this class was generated from the following file:
- gecode/int/trace/traits.hpp (Revision: 15597)