Gecode::ProjectorCompiler Class Reference
#include <projectors-compiler.hh>
Detailed Description
Compiler from projector specifications to C++.
Definition at line 54 of file projectors-compiler.hh.
Configuration options | |
bool | compiletest |
Whether to generate a test case, default=false. | |
FixpointType | fixpoint |
What fixpoint to compute, default=ITER_FIX. | |
ViewsType | views |
How generic the propagator is, default=SINGLE_VIEW. | |
Public Types | |
enum | FixpointType { NO_FIX, ITER_FIX } |
Description of the fixpoint to compute. More... | |
enum | ViewsType { SINGLE_VIEW, MULTI_VIEW } |
Description of how generic the propagator should be. More... | |
Public Member Functions | |
ProjectorCompiler (std::ostream &hhos, std::ostream &iccos, const ProjectorPropagatorSpec &spec) | |
Construct compiler. | |
void | compile (void) |
Do the compilation. | |
Classes | |
class | Indent |
Indentation helper class. More... |
Member Enumeration Documentation
|
Description of the fixpoint to compute.
Definition at line 115 of file projectors-compiler.hh. |
|
Description of how generic the propagator should be.
Definition at line 120 of file projectors-compiler.hh. |
Constructor & Destructor Documentation
|
Construct compiler.
|
Member Function Documentation
|
Do the compilation. TODO: Add proper error handling Definition at line 816 of file compiler.cc. |
Member Data Documentation
|
Whether to generate a test case, default=false.
Definition at line 128 of file projectors-compiler.hh. |
|
What fixpoint to compute, default=ITER_FIX.
Definition at line 130 of file projectors-compiler.hh. |
|
How generic the propagator is, default=SINGLE_VIEW.
Definition at line 132 of file projectors-compiler.hh. |
The documentation for this class was generated from the following files:
- gecode/set/projectors-compiler.hh (Revision: 3188)
- gecode/set/projectors/compiler.cc (Revision: 3188)