Gecode::Set::SetVarImpBase Class Reference

Inherits Gecode::Variable< VTI_SET, PC_SET_ANY, SetMeDiff >.

Detailed Description

Base-class for Set-variable implementations.

Definition at line 172 of file imp-hdr.icc.

Dependencies

void subscribe (Space *home, Propagator *p, PropCond pc, bool assigned, bool process)

Subscribe propagator p with propagation condition pc to variable.

void notify (Space *home, ModEvent me)

Notify that variable implementation has been modified with modification event me.

Public Member Functions

SetVarImpBase (Space *home)

Constructor for creating variable.

Protected Member Functions

SetVarImpBase (Space *home, bool share, SetVarImpBase &x)

Constructor for cloning x.

Static Protected Attributes

static Processor p

The processor used.

Classes

class Processor

Variable procesor for variables of this type. More...

Constructor & Destructor Documentation

Gecode::Set::SetVarImpBase::SetVarImpBase ( Space * home,

bool share,

SetVarImpBase & x

) [inline, protected]

Constructor for cloning x.

Definition at line 220 of file imp-hdr.icc.

Gecode::Set::SetVarImpBase::SetVarImpBase ( Space * home ) [inline]

Constructor for creating variable.

Definition at line 216 of file imp-hdr.icc.

Member Function Documentation

void Gecode::Set::SetVarImpBase::subscribe ( Space * home,

Propagator * p,

PropCond pc,

bool assigned,

bool process

) [inline]

Subscribe propagator p with propagation condition pc to variable.
In case process is false, the propagator is just subscribed but not processed for execution (this must be used when creating subscriptions during propagation).
In case the variable is assigned (that is, assigned is true), the subscribing propagator is processed for execution. Otherwise, the propagator subscribes and is processed for execution with modification event me provided that pc is different from PC_GEN_ASSIGNED.
Definition at line 224 of file imp-hdr.icc.

void Gecode::Set::SetVarImpBase::notify ( Space * home,

ModEvent me

) [inline]

Notify that variable implementation has been modified with modification event me.

Reimplemented from Gecode::Variable< VTI_SET, PC_SET_ANY, SetMeDiff >.
Definition at line 229 of file imp-hdr.icc.

Member Data Documentation

SetVarImpBase::Processor Gecode::Set::SetVarImpBase::p [static, protected]

The processor used.

Definition at line 181 of file imp-hdr.icc.

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

gecode/set/var/imp-hdr.icc
gecode/set/var/imp-body.icc


Dependencies
void	subscribe (Space home, Propagator p, PropCond pc, bool assigned, bool process)
	Subscribe propagator p with propagation condition pc to variable.
void	notify (Space *home, ModEvent me)
	Notify that variable implementation has been modified with modification event me.
Public Member Functions
	SetVarImpBase (Space *home)
	Constructor for creating variable.
Protected Member Functions
	SetVarImpBase (Space *home, bool share, SetVarImpBase &x)
	Constructor for cloning x.
Static Protected Attributes
static Processor	p
	The processor used.
Classes
class	Processor
	Variable procesor for variables of this type. More...