Trace traits for set views. More...
#include <traits.hpp>
Public Types | |
typedef Set::SetTraceView | TraceView |
typedef SetTraceDelta | TraceDelta |
typedef unsigned long long int | SlackValue |
Trace traits for set views.
Definition at line 38 of file traits.hpp.
typedef Set::SetTraceView Gecode::TraceTraits< Set::SetView >::TraceView |
Definition at line 40 of file traits.hpp.
typedef SetTraceDelta Gecode::TraceTraits< Set::SetView >::TraceDelta |
Definition at line 41 of file traits.hpp.
typedef unsigned long long int Gecode::TraceTraits< Set::SetView >::SlackValue |
Definition at line 42 of file traits.hpp.