Gecode::TraceTraits< Set::SetView > Class Template Reference
Trace traits for set views. More...
#include <traits.hpp>
Public Types | |
| typedef Set::SetTraceView | TraceView |
| typedef SetTraceDelta | TraceDelta |
| typedef unsigned long long int | SlackValue |
Detailed Description
template<>
class Gecode::TraceTraits< Set::SetView >
Trace traits for set views.
Definition at line 42 of file traits.hpp.
Member Typedef Documentation
| typedef Set::SetTraceView Gecode::TraceTraits< Set::SetView >::TraceView |
Definition at line 44 of file traits.hpp.
| typedef SetTraceDelta Gecode::TraceTraits< Set::SetView >::TraceDelta |
Definition at line 45 of file traits.hpp.
| typedef unsigned long long int Gecode::TraceTraits< Set::SetView >::SlackValue |
Definition at line 46 of file traits.hpp.
The documentation for this class was generated from the following file:
- gecode/set/trace/traits.hpp (Revision: 15597)