org.gecode.IntView Interface Reference
[Programming integer actors, Programming views for variables]
Inherits org.gecode.GecodeView.
Inherited by org.gecode.IntVarView, and org.gecode.OffsetView< IV extends IntView >.
Detailed Description
Interface for integer variable views.This is an interface for wrappers around an integer variable, which exposes methods for updating the variable.
Classes implementing this interface is meant to be used in propagators and branchings, and not in scripts.
Definition at line 40 of file IntView.java.
Public Member Functions | |
| IntView | copy (JavaSpace s, boolean share) |
| Return a copy of this view in newHome. | |
| void | subscribe (JavaSpace s, JavaPropagator p, PropCond pc) |
| Subscribe propagator p to the events covered by pc. | |
| void | cancel (JavaSpace s, JavaPropagator p, PropCond pc) |
| Cancel the subscription of propagator p over the events covered by pc. | |
| boolean | assigned () |
| Test wheter this view is assigned. | |
| int | val () |
| Return the value of this view. | |
| int | min () |
| Return the minimum of this view. | |
| int | max () |
| Return the maximum of this view. | |
| boolean | in (int v) |
| Test wheter this view has v in its domain. | |
| IntModEvent | lq (JavaSpace s, int i) |
| Make this view have maximum n. | |
| IntModEvent | eq (JavaSpace s, int i) |
| Make this view be equal to n. | |
| IntModEvent | gq (JavaSpace s, int i) |
| Make this view have minimum n. | |
| IntModEvent | nq (JavaSpace s, int i) |
| Make this view be different from n. | |
| IntModEvent | inter (JavaSpace home, RangeIterator iter) |
| Intersect the domain of this view with iter. | |
Member Function Documentation
Return a copy of this view in newHome.
Implements org.gecode.GecodeView.
Implemented in org.gecode.IntVarView.
| void org.gecode.IntView.subscribe | ( | JavaSpace | s, | |
| JavaPropagator | p, | |||
| PropCond | pc | |||
| ) |
Subscribe propagator p to the events covered by pc.
Implements org.gecode.GecodeView.
Implemented in org.gecode.IntVarView.
| void org.gecode.IntView.cancel | ( | JavaSpace | s, | |
| JavaPropagator | p, | |||
| PropCond | pc | |||
| ) |
Cancel the subscription of propagator p over the events covered by pc.
Implements org.gecode.GecodeView.
Implemented in org.gecode.IntVarView.
| boolean org.gecode.IntView.assigned | ( | ) |
Test wheter this view is assigned.
Implements org.gecode.GecodeView.
Implemented in org.gecode.IntVarView.
| int org.gecode.IntView.val | ( | ) |
| int org.gecode.IntView.min | ( | ) |
| int org.gecode.IntView.max | ( | ) |
| boolean org.gecode.IntView.in | ( | int | v | ) |
| IntModEvent org.gecode.IntView.lq | ( | JavaSpace | s, | |
| int | i | |||
| ) |
| IntModEvent org.gecode.IntView.eq | ( | JavaSpace | s, | |
| int | i | |||
| ) |
| IntModEvent org.gecode.IntView.gq | ( | JavaSpace | s, | |
| int | i | |||
| ) |
| IntModEvent org.gecode.IntView.nq | ( | JavaSpace | s, | |
| int | i | |||
| ) |
| IntModEvent org.gecode.IntView.inter | ( | JavaSpace | home, | |
| RangeIterator | iter | |||
| ) |
The documentation for this interface was generated from the following file:
- org/gecode/IntView.java (Revision: 3796)