Generated on Mon Aug 25 11:35:49 2008 for Gecode by doxygen 1.5.6
Gecode::ProjectorCompiler

Gecode::ProjectorCompiler Class Reference

#include <projectors-compiler.hh>

List of all members.

Detailed Description

Compiler from projector specifications to C++.

Definition at line 70 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

enum Gecode::ProjectorCompiler::FixpointType

Description of the fixpoint to compute.

Enumerator:
NO_FIX  Do not compute fixpoint, return ES_NOFIX.
ITER_FIX  Compute fixpoint by iteration.

Definition at line 131 of file projectors-compiler.hh.

enum Gecode::ProjectorCompiler::ViewsType

Description of how generic the propagator should be.

Enumerator:
SINGLE_VIEW  Make propagator parametric in a single view.
MULTI_VIEW  Make propagator parametric in one view per variable.

Definition at line 136 of file projectors-compiler.hh.

Constructor & Destructor Documentation

Gecode::ProjectorCompiler::ProjectorCompiler ( std::ostream &  hhos,
std::ostream &  iccos,
const ProjectorPropagatorSpec &  spec 
)

Construct compiler.

Definition at line 824 of file compiler.cc.

Member Function Documentation

void Gecode::ProjectorCompiler::compile ( void   ) 

Do the compilation.

TODO: Add proper error handling

Definition at line 834 of file compiler.cc.

Member Data Documentation

bool Gecode::ProjectorCompiler::compiletest

Whether to generate a test case, default=false.

Definition at line 144 of file projectors-compiler.hh.

FixpointType Gecode::ProjectorCompiler::fixpoint

What fixpoint to compute, default=ITER_FIX.

Definition at line 146 of file projectors-compiler.hh.

ViewsType Gecode::ProjectorCompiler::views

How generic the propagator is, default=SINGLE_VIEW.

Definition at line 148 of file projectors-compiler.hh.

The documentation for this class was generated from the following files: