reflection.icc File Reference
(Revision: 7297)
#include <iostream>
#include <cstring>
Go to the source code of this file.
Namespaces | |
namespace | Gecode::Reflection |
namespace | Gecode |
Classes | |
class | Gecode::Reflection::ReflectionException |
Exception for errors during reflection. More... | |
class | Gecode::Reflection::NoReflectionDefinedException |
Exception: no reflection defined. More... | |
class | Gecode::Reflection::Arg |
Arguments for actor and variable specifications. More... | |
class | Gecode::Reflection::ArrayArg |
Array arguments. More... | |
class | Gecode::Reflection::IntArrayArg |
Integer array arguments. More... | |
class | Gecode::Reflection::IntArrayArgRanges |
Iterate over an IntArrayArg, interpreting consecutive pairs of integers as ranges. More... | |
class | Gecode::Reflection::VarSpec |
Variable specification More... | |
class | Gecode::Reflection::ActorSpec |
Actor specification More... | |
class | Gecode::Reflection::BranchingSpec |
Branching specification More... | |
class | Gecode::Reflection::ActorSpecIter |
Iterating actor specifications. More... | |
class | Gecode::Reflection::Registry |
Registry of constraint posting and variable creation functions. More... | |
class | Gecode::Reflection::ActorRegistrar< P > |
Class used for registering actors. More... | |
class | Gecode::Reflection::VarImpRegistrar< V > |
Class used for registering variable implementations. More... | |
class | Gecode::Reflection::Var |
Generic variables. More... | |
class | Gecode::Reflection::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 | Gecode::Reflection::TypeOf< View > |
String representation for View types, used for name mangling. More... | |
class | Gecode::Reflection::TypeOf< bool > |
String representation for bool, used for name mangling. More... | |
class | Gecode::Reflection::TypeOf< int > |
String representation for ints, used for name mangling. More... | |
class | Gecode::Reflection::TypeOf< double > |
String representation for doubles, used for name mangling. More... | |
class | Gecode::Reflection::TypeOf< const IntSet > |
String representation for IntSets, used for name mangling. More... | |
Defines | |
#define | GECODE_REGISTER1(P) ::Gecode::Reflection::ActorRegistrar< P > GECODE_FRESH(r) |
Register a propagator with zero or one template argument. | |
#define | GECODE_REGISTER2(P1, P2) ::Gecode::Reflection::ActorRegistrar< P1,P2 > GECODE_FRESH(r) |
Register a propagator with two template arguments. | |
#define | GECODE_REGISTER3(P1, P2, P3) ::Gecode::Reflection::ActorRegistrar< P1,P2,P3 > GECODE_FRESH(r) |
Register a propagator with three template arguments. | |
#define | GECODE_REGISTER4(P1, P2, P3, P4) ::Gecode::Reflection::ActorRegistrar< P1,P2,P3,P4 > GECODE_FRESH(r) |
Register a propagator with four template arguments. | |
#define | GECODE_REGISTER5(P1, P2, P3, P4, P5) ::Gecode::Reflection::ActorRegistrar< P1,P2,P3,P4,P5 > GECODE_FRESH(r) |
Register a propagator with five template arguments. | |
#define | GECODE_REGISTER6(P1, P2, P3, P4, P5, P6) ::Gecode::Reflection::ActorRegistrar< P1,P2,P3,P4,P5,P6 > GECODE_FRESH(r) |
Register a propagator with six template arguments. | |
Functions | |
Gecode::Reflection::ActorSpec | operator<< (Gecode::Reflection::ActorSpec s, Gecode::Reflection::Arg *arg) |
Gecode::Reflection::ActorSpec | operator<< (Gecode::Reflection::ActorSpec s, int i) |
Gecode::Reflection::ActorSpec | operator<< (Gecode::Reflection::ActorSpec s, unsigned int i) |
Gecode::Reflection::ActorSpec | operator<< (Gecode::Reflection::ActorSpec s, double i) |
Registry & | Gecode::Reflection::registry (void) |
The registry object. | |
template<class View0> | |
Support::Symbol | Gecode::Reflection::mangle (const Support::Symbol &ati) |
Mangle ati with type information. | |
template<class View0> | |
Support::Symbol | Gecode::Reflection::mangle (const Support::Symbol &ati, bool b) |
Mangle ati with type information. | |
template<class View0> | |
Support::Symbol | Gecode::Reflection::mangle (const Support::Symbol &ati, int i) |
Mangle ati with type information. | |
template<class View0> | |
Support::Symbol | Gecode::Reflection::mangle (const Support::Symbol &ati, unsigned int i) |
Mangle ati with type information. | |
std::ostream & | operator<< (std::ostream &os, const Gecode::Reflection::Var &v) |
Print v to os. |
Function Documentation
Gecode::Reflection::ActorSpec operator<< | ( | Gecode::Reflection::ActorSpec | s, | |
Gecode::Reflection::Arg * | arg | |||
) | [related] |
Definition at line 433 of file reflection.icc.
Gecode::Reflection::ActorSpec operator<< | ( | Gecode::Reflection::ActorSpec | s, | |
int | i | |||
) | [related] |
Definition at line 438 of file reflection.icc.
Gecode::Reflection::ActorSpec operator<< | ( | Gecode::Reflection::ActorSpec | s, | |
unsigned int | i | |||
) | [related] |
Definition at line 442 of file reflection.icc.
Gecode::Reflection::ActorSpec operator<< | ( | Gecode::Reflection::ActorSpec | s, | |
double | i | |||
) | [related] |
Definition at line 446 of file reflection.icc.
std::ostream& operator<< | ( | std::ostream & | os, | |
const Gecode::Reflection::Var & | v | |||
) |