Traits of LiteralArgs. More...
#include <ldsb.hh>
Public Types | |
typedef LiteralArgs | StorageType |
typedef Int::LDSB::Literal | ValueType |
typedef LiteralArgs | ArgsType |
Traits of LiteralArgs.
typedef LiteralArgs Gecode::ArrayTraits< LiteralArgs >::StorageType |
typedef Int::LDSB::Literal Gecode::ArrayTraits< LiteralArgs >::ValueType |
typedef LiteralArgs Gecode::ArrayTraits< LiteralArgs >::ArgsType |