Gecode::Reflection Namespace Reference
Detailed Description
Reflection support
Classes | |
class | ReflectionException |
Exception for errors during reflection. More... | |
class | NoReflectionDefinedException |
Exception: no reflection defined. More... | |
class | Arg |
Arguments for actor and variable specifications. More... | |
class | ArrayArg |
Array arguments. More... | |
class | IntArrayArg |
Integer array arguments. More... | |
class | IntArrayArgRanges |
Iterate over an IntArrayArg, interpreting consecutive pairs of integers as ranges. More... | |
class | VarSpec |
Variable specification More... | |
class | ActorSpec |
Actor specification More... | |
class | BranchingSpec |
Branching specification More... | |
class | ActorSpecIter |
Iterating actor specifications. More... | |
class | Registry |
Registry of constraint posting and variable creation functions. More... | |
class | ActorRegistrar |
Class used for registering actors. More... | |
class | VarImpRegistrar |
Class used for registering variable implementations. More... | |
class | Var |
Generic variables. More... | |
class | Unreflector |
Unreflection from VarSpec and ActorSpec
An Unreflector allows you to install variables and propagators in a Space using variable and actor specifications. More... | |
class | TypeOf |
String representation for View types, used for name mangling. More... | |
class | TypeOf< bool > |
String representation for bool, used for name mangling. More... | |
class | TypeOf< int > |
String representation for ints, used for name mangling. More... | |
class | TypeOf< double > |
String representation for doubles, used for name mangling. More... | |
class | TypeOf< const IntSet > |
String representation for IntSets, used for name mangling. More... | |
class | VarMap |
Mapping Gecode variable implementations to variable specifications. More... | |
class | VarMapIter |
Iterating a variable map. More... | |
Functions | |
Registry & | registry (void) |
The registry object. | |
template<class View0> | |
Support::Symbol | mangle (const Support::Symbol &ati) |
Mangle ati with type information. | |
template<class View0> | |
Support::Symbol | mangle (const Support::Symbol &ati, bool b) |
Mangle ati with type information. | |
template<class View0> | |
Support::Symbol | mangle (const Support::Symbol &ati, int i) |
Mangle ati with type information. | |
template<class View0> | |
Support::Symbol | mangle (const Support::Symbol &ati, unsigned int i) |
Mangle ati with type information. |