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. | |