main page modules namespaces classes files
Gecode home

search for 

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

std::string Gecode::ProjectorPropagatorSpec::_name

The name of the propagator. Definition at line 36 of file projectors-compiler.hh.

std::string Gecode::ProjectorPropagatorSpec::_namespace

The namespace to place the propagator in. Definition at line 38 of file projectors-compiler.hh.

int Gecode::ProjectorPropagatorSpec::_arity

Arity of the generated propagator, 0 meaning n-ary. Definition at line 41 of file projectors-compiler.hh.

bool Gecode::ProjectorPropagatorSpec::_reified

Whether this propagator is reified. Definition at line 43 of file projectors-compiler.hh.

bool Gecode::ProjectorPropagatorSpec::_negated

Whether this propagator is negated. Definition at line 45 of file projectors-compiler.hh.

ProjectorSet Gecode::ProjectorPropagatorSpec::_ps

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

---

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

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