
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 |