Generated on Wed Nov 1 15:05:14 2006 for Gecode by doxygen 1.4.5
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 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

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 115 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 120 of file projectors-compiler.hh.

Constructor & Destructor Documentation

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

Construct compiler.

Member Function Documentation

void Gecode::ProjectorCompiler::compile (  void   ) 
 

Do the compilation.

TODO: Add proper error handling

Definition at line 816 of file compiler.cc.

Member Data Documentation

bool Gecode::ProjectorCompiler::compiletest
 

Whether to generate a test case, default=false.

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

FixpointType Gecode::ProjectorCompiler::fixpoint
 

What fixpoint to compute, default=ITER_FIX.

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

ViewsType Gecode::ProjectorCompiler::views
 

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: