Gecode::Int::IntVarImpBase Class Reference

Inherits Gecode::Variable< VTI_INT, PC_INT_DOM, IntMeDiff >.

Detailed Description

Base-class for Int-variable implementations.

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

IntVarImpBase (Space *home)

Constructor for creating variable.

Protected Member Functions

IntVarImpBase (Space *home, bool share, IntVarImpBase &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::Int::IntVarImpBase::IntVarImpBase ( Space * home,

bool share,

IntVarImpBase & x

) [inline, protected]

Constructor for cloning x.

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

Gecode::Int::IntVarImpBase::IntVarImpBase ( Space * home ) [inline]

Constructor for creating variable.

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

Member Function Documentation

void Gecode::Int::IntVarImpBase::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 180 of file imp-hdr.icc.

void Gecode::Int::IntVarImpBase::notify ( Space * home,

ModEvent me

) [inline]

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

Reimplemented from Gecode::Variable< VTI_INT, PC_INT_DOM, IntMeDiff >.
Definition at line 185 of file imp-hdr.icc.

Member Data Documentation

IntVarImpBase::Processor Gecode::Int::IntVarImpBase::p [static, protected]

The processor used.

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

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

gecode/int/var/imp-hdr.icc
gecode/int/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
	IntVarImpBase (Space *home)
	Constructor for creating variable.
Protected Member Functions
	IntVarImpBase (Space *home, bool share, IntVarImpBase &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...