org.gecode.IntVarView Class Reference
[Integer views]
Inherits org.gecode.IntView.
Detailed Description
Integer view for integer variables.
Definition at line 28 of file IntVarView.java.
Public Member Functions | |
| void | delete () |
| void | subscribe (JavaSpace home, JavaPropagator p, PropCond pc) |
| Subscribe propagator p to the events covered by pc. | |
| void | cancel (JavaSpace home, JavaPropagator p, PropCond pc) |
| Cancel the subscription of propagator p over the events covered by pc. | |
| IntVarView (JavaSpace home, IntVar i) | |
| Initialize identity view of variable i in space home. | |
| IntVarView | copy (JavaSpace newHome, boolean share) |
| Return a copy of this view in newHome. | |
| void | subscribe_internal (JavaSpace home, JavaPropagator p, int pc) |
| void | cancel_internal (JavaSpace home, JavaPropagator p, int pc) |
| int | min () |
| Return the minimum of this view. | |
| int | max () |
| Return the maximum of this view. | |
| int | val () |
| Return the value of this view. | |
| boolean | assigned () |
| Test wheter this view is assigned. | |
| boolean | in (int arg0) |
| Test wheter this view has v in its domain. | |
| IntModEvent | lq (JavaSpace home, int n) |
| Make this view have maximum n. | |
| IntModEvent | gq (JavaSpace home, int n) |
| Make this view have minimum n. | |
| IntModEvent | nq (JavaSpace home, int n) |
| Make this view be different from n. | |
| IntModEvent | eq (JavaSpace home, int n) |
| Make this view be equal to n. | |
| IntModEvent | inter (JavaSpace home, RangeIterator iter) |
| Intersect the domain of this view with iter. | |
Protected Member Functions | |
| IntVarView (long cPtr, boolean cMemoryOwn) | |
| void | finalize () |
Static Protected Member Functions | |
| static long | getCPtr (IntVarView obj) |
Protected Attributes | |
| boolean | swigCMemOwn |
Constructor & Destructor Documentation
| org.gecode.IntVarView.IntVarView | ( | long | cPtr, | |
| boolean | cMemoryOwn | |||
| ) | [protected] |
Definition at line 32 of file IntVarView.java.
Initialize identity view of variable i in space home.
Definition at line 66 of file IntVarView.java.
Member Function Documentation
| static long org.gecode.IntVarView.getCPtr | ( | IntVarView | obj | ) | [static, protected] |
Definition at line 37 of file IntVarView.java.
| void org.gecode.IntVarView.finalize | ( | ) | [protected] |
Definition at line 41 of file IntVarView.java.
| void org.gecode.IntVarView.delete | ( | ) |
Definition at line 45 of file IntVarView.java.
| void org.gecode.IntVarView.subscribe | ( | JavaSpace | home, | |
| JavaPropagator | p, | |||
| PropCond | pc | |||
| ) |
Subscribe propagator p to the events covered by pc.
Implements org.gecode.IntView.
Definition at line 53 of file IntVarView.java.
| void org.gecode.IntVarView.cancel | ( | JavaSpace | home, | |
| JavaPropagator | p, | |||
| PropCond | pc | |||
| ) |
Cancel the subscription of propagator p over the events covered by pc.
Implements org.gecode.IntView.
Definition at line 58 of file IntVarView.java.
| IntVarView org.gecode.IntVarView.copy | ( | JavaSpace | newHome, | |
| boolean | share | |||
| ) |
Return a copy of this view in newHome.
Implements org.gecode.IntView.
Definition at line 70 of file IntVarView.java.
| void org.gecode.IntVarView.subscribe_internal | ( | JavaSpace | home, | |
| JavaPropagator | p, | |||
| int | pc | |||
| ) |
Definition at line 75 of file IntVarView.java.
| void org.gecode.IntVarView.cancel_internal | ( | JavaSpace | home, | |
| JavaPropagator | p, | |||
| int | pc | |||
| ) |
Definition at line 79 of file IntVarView.java.
| int org.gecode.IntVarView.min | ( | ) |
Return the minimum of this view.
Implements org.gecode.IntView.
Definition at line 83 of file IntVarView.java.
| int org.gecode.IntVarView.max | ( | ) |
Return the maximum of this view.
Implements org.gecode.IntView.
Definition at line 87 of file IntVarView.java.
| int org.gecode.IntVarView.val | ( | ) |
Return the value of this view.
Implements org.gecode.IntView.
Definition at line 91 of file IntVarView.java.
| boolean org.gecode.IntVarView.assigned | ( | ) |
Test wheter this view is assigned.
Implements org.gecode.IntView.
Definition at line 95 of file IntVarView.java.
| boolean org.gecode.IntVarView.in | ( | int | arg0 | ) |
Test wheter this view has v in its domain.
Implements org.gecode.IntView.
Definition at line 99 of file IntVarView.java.
| IntModEvent org.gecode.IntVarView.lq | ( | JavaSpace | home, | |
| int | n | |||
| ) |
Make this view have maximum n.
Implements org.gecode.IntView.
Definition at line 103 of file IntVarView.java.
| IntModEvent org.gecode.IntVarView.gq | ( | JavaSpace | home, | |
| int | n | |||
| ) |
Make this view have minimum n.
Implements org.gecode.IntView.
Definition at line 107 of file IntVarView.java.
| IntModEvent org.gecode.IntVarView.nq | ( | JavaSpace | home, | |
| int | n | |||
| ) |
Make this view be different from n.
Implements org.gecode.IntView.
Definition at line 111 of file IntVarView.java.
| IntModEvent org.gecode.IntVarView.eq | ( | JavaSpace | home, | |
| int | n | |||
| ) |
Make this view be equal to n.
Implements org.gecode.IntView.
Definition at line 115 of file IntVarView.java.
| IntModEvent org.gecode.IntVarView.inter | ( | JavaSpace | home, | |
| RangeIterator | iter | |||
| ) |
Intersect the domain of this view with iter.
Implements org.gecode.IntView.
Definition at line 119 of file IntVarView.java.
Member Data Documentation
boolean org.gecode.IntVarView.swigCMemOwn [protected] |
Definition at line 30 of file IntVarView.java.
The documentation for this class was generated from the following file:
- org/gecode/IntVarView.java