Generated on Thu Jul 6 07:06:59 2006 for Gecode by doxygen 1.4.7

Gecode::VarTypeProcessor< VTI, PC > Class Template Reference
[Programming variables]

Inherits Gecode::VarTypeProcessorBase.

List of all members.


Detailed Description

template<VarTypeId VTI, PropCond PC>
class Gecode::VarTypeProcessor< VTI, PC >

Variable type processor

Base class for variable type processor for variable type index VTI and maximum propagation condition PC.

Definition at line 128 of file core.icc.

Public Member Functions

 VarTypeProcessor (void)
 Constructor.
void mec (ModEvent me1, ModEvent me2, ModEvent me3)
 Store combinations of modification events.
void mepc (ModEvent me, PropCond pc)
 Store mapping between modification event and propagation condition.
void enter (void)
 Register variable type processor with kernel.
virtual void process (Space *home, VarBase *x)
 Process modified variables linked from x.
virtual void update (Space *home, VarBase *x)
 Update copied variables linked from x.


Constructor & Destructor Documentation

template<VarTypeId VTI, PropCond PC>
Gecode::VarTypeProcessor< VTI, PC >::VarTypeProcessor ( void   )  [inline]

Constructor.

Definition at line 1448 of file core.icc.


Member Function Documentation

template<VarTypeId VTI, PropCond PC>
void Gecode::VarTypeProcessor< VTI, PC >::mec ( ModEvent  me1,
ModEvent  me2,
ModEvent  me3 
) [inline]

Store combinations of modification events.

The combination of me1 with me2 (and of me2 with me1) is stored to be me3.

Note that the following combinations are predefined

  • Combination with ME_GEN_ASSIGNED is ME_GEN_ASSIGNED.
  • Combination of an event with itself yields that event.
  • Combination with ME_GEN_NONE yields the event itself.

Definition at line 1469 of file core.icc.

template<VarTypeId VTI, PropCond PC>
void Gecode::VarTypeProcessor< VTI, PC >::mepc ( ModEvent  me,
PropCond  pc 
) [inline]

Store mapping between modification event and propagation condition.

Execute propagators with propagation condition pc if a variable is modified with modification event me.

Definition at line 1475 of file core.icc.

template<VarTypeId VTI, PropCond PC>
void Gecode::VarTypeProcessor< VTI, PC >::enter ( void   ) 

Register variable type processor with kernel.

Transfers the combinations of modification events also to the kernel

Definition at line 1481 of file core.icc.

template<VarTypeId VTI, PropCond PC>
void Gecode::VarTypeProcessor< VTI, PC >::process ( Space home,
VarBase x 
) [virtual]

Process modified variables linked from x.

Implements Gecode::VarTypeProcessorBase.

Definition at line 1547 of file core.icc.

template<VarTypeId VTI, PropCond PC>
void Gecode::VarTypeProcessor< VTI, PC >::update ( Space home,
VarBase x 
) [virtual]

Update copied variables linked from x.

Implements Gecode::VarTypeProcessorBase.

Definition at line 1537 of file core.icc.


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