Generated on Sat Nov 11 01:12:19 2006 for Gecode by doxygen 1.5.1

Gecode::ProjectorPropagatorSpec Class Reference

#include <projectors-compiler.hh>

List of all members.


Detailed Description

Specification for a C++ finite set propagator.

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

Public Attributes

std::string _name
 The name of the propagator.
std::string _namespace
 The namespace to place the propagator in.
int _arity
 Arity of the generated propagator, 0 meaning n-ary.
bool _reified
 Whether this propagator is reified.
bool _negated
 Whether this propagator is negated.
ProjectorSet _ps


Member Data Documentation

The name of the propagator.

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

The namespace to place the propagator in.

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

Arity of the generated propagator, 0 meaning n-ary.

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

Whether this propagator is reified.

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

Whether this propagator is negated.

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


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