Gecode::VariableViewBase< Var > Class Template Reference
[Programming views for variables]
List of all members.Detailed Description
template<class Var>
class Gecode::VariableViewBase< Var >
Base-class for variable views.
Definition at line 55 of file view.icc.
Generic view information | |
| Var * | variable (void) const |
| Return variable implementation of view. | |
| bool | modified (void) const |
| Test whether view has been modified during propagation. | |
| unsigned int | degree (void) const |
| Return degree (number of subscribed propagators). | |
| static bool | varderived (void) |
| Return whether this view is derived from a VariableViewBase. | |
Dependencies | |
| void | subscribe (Space *, Propagator *p, PropCond pc, bool process=true) |
| Subscribe propagator p with propagation condition pc to variable. | |
| void | cancel (Space *home, Propagator *p, PropCond pc) |
| Cancel subscription of propagator p with propagation condition pc to view. | |
Propagator modification events | |
| static ModEvent | pme (const Propagator *p) |
| Return modification event of propagator p for view. | |
| static PropModEvent | pme (ModEvent me) |
| Translate modification event me to propagator modification event for view. | |
| static ModEvent | combine (ModEvent me1, ModEvent me2) |
| Combine modifications events me1 and me2. | |
View comparison | |
| bool | same (const VariableViewBase< Var > &x, const VariableViewBase< Var > &y) |
| Test whether views x and y are the same. | |
| bool | before (const VariableViewBase< Var > &x, const VariableViewBase< Var > &y) |
| Test whether view x comes before y (arbitrary order). | |
Protected Member Functions | |
| VariableViewBase (void) | |
| Default constructor. | |
| VariableViewBase (Var *x) | |
| Initialize with variable implementation x. | |
Protected Attributes | |
| Var * | var |
| Pointer to variable implementation. | |
Constructor & Destructor Documentation
|
||||||||||
|
Default constructor.
|
|
||||||||||
|
Initialize with variable implementation x.
|
Member Function Documentation
|
||||||||||
|
Return whether this view is derived from a VariableViewBase.
|
|
||||||||||
|
Return variable implementation of view.
|
|
||||||||||
|
Test whether view has been modified during propagation.
|
|
||||||||||
|
Return degree (number of subscribed propagators).
|
|
||||||||||
|
Return modification event of propagator p for view.
|
|
||||||||||
|
Translate modification event me to propagator modification event for view.
|
|
||||||||||||||||
|
Combine modifications events me1 and me2.
|
|
||||||||||||||||||||||||
|
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). |
|
||||||||||||||||||||
|
Cancel subscription of propagator p with propagation condition pc to view.
|
Friends And Related Function Documentation
|
||||||||||||||||
|
Test whether views x and y are the same.
|
|
||||||||||||||||
|
Test whether view x comes before y (arbitrary order).
|
Member Data Documentation
|
|||||
|
Pointer to variable implementation.
|
The documentation for this class was generated from the following file:
- gecode/kernel/view.icc (Revision: 3559)