Gecode::ProjectorPropagatorSpec Class Reference

#include <projectors-compiler.hh>

List of all members.

---

Detailed Description

Specification for a C++ finite set propagator.

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

std::string Gecode::ProjectorPropagatorSpec::_name

The name of the propagator.

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

std::string Gecode::ProjectorPropagatorSpec::_namespace

The namespace to place the propagator in.

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

int Gecode::ProjectorPropagatorSpec::_arity

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

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

bool Gecode::ProjectorPropagatorSpec::_reified

Whether this propagator is reified.

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

bool Gecode::ProjectorPropagatorSpec::_negated

Whether this propagator is negated.

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

ProjectorSet Gecode::ProjectorPropagatorSpec::_ps

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

---

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

• gecode/set/projectors-compiler.hh (Revision: 4790)