org.gecode.SetViewLubRanges Class Reference
[Programming set actors]
Inherits org.gecode.RangeIterator.
Detailed Description
Range iterator for the least upper bound.This class provides (by specialization) a range iterator for the least upper bounds of all set views.
Note that this template class serves only as a specification of the interface of the various specializations.
Definition at line 23 of file SetViewLubRanges.java.
Public Member Functions | |
| void | delete () |
| SetViewLubRanges (SetVarView sv) | |
| synchronized boolean | notDone () |
| Test wheter this iterator is finished. | |
| synchronized void | next () |
| Advance to next range. | |
| synchronized int | min () |
| Get min of current range. | |
| synchronized int | max () |
| Get max of current range. | |
| synchronized long | width () |
| Get width of current range. | |
Protected Member Functions | |
| SetViewLubRanges (long cPtr, boolean cMemoryOwn) | |
| void | finalize () |
Static Protected Member Functions | |
| static long | getCPtr (SetViewLubRanges obj) |
Protected Attributes | |
| boolean | swigCMemOwn |
Constructor & Destructor Documentation
| org.gecode.SetViewLubRanges.SetViewLubRanges | ( | long | cPtr, | |
| boolean | cMemoryOwn | |||
| ) | [protected] |
Definition at line 27 of file SetViewLubRanges.java.
| org.gecode.SetViewLubRanges.SetViewLubRanges | ( | SetVarView | sv | ) |
Definition at line 48 of file SetViewLubRanges.java.
Member Function Documentation
| static long org.gecode.SetViewLubRanges.getCPtr | ( | SetViewLubRanges | obj | ) | [static, protected] |
Definition at line 32 of file SetViewLubRanges.java.
| void org.gecode.SetViewLubRanges.finalize | ( | ) | [protected] |
Definition at line 36 of file SetViewLubRanges.java.
| void org.gecode.SetViewLubRanges.delete | ( | ) |
Definition at line 40 of file SetViewLubRanges.java.
| synchronized boolean org.gecode.SetViewLubRanges.notDone | ( | ) | [virtual] |
Test wheter this iterator is finished.
Implements org.gecode.RangeIterator.
Definition at line 52 of file SetViewLubRanges.java.
| synchronized void org.gecode.SetViewLubRanges.next | ( | ) | [virtual] |
Advance to next range.
Implements org.gecode.RangeIterator.
Definition at line 56 of file SetViewLubRanges.java.
| synchronized int org.gecode.SetViewLubRanges.min | ( | ) | [virtual] |
Get min of current range.
Implements org.gecode.RangeIterator.
Definition at line 60 of file SetViewLubRanges.java.
| synchronized int org.gecode.SetViewLubRanges.max | ( | ) | [virtual] |
Get max of current range.
Implements org.gecode.RangeIterator.
Definition at line 64 of file SetViewLubRanges.java.
| synchronized long org.gecode.SetViewLubRanges.width | ( | ) | [virtual] |
Get width of current range.
Implements org.gecode.RangeIterator.
Definition at line 68 of file SetViewLubRanges.java.
Member Data Documentation
boolean org.gecode.SetViewLubRanges.swigCMemOwn [protected] |
Definition at line 25 of file SetViewLubRanges.java.
The documentation for this class was generated from the following file:
- org/gecode/SetViewLubRanges.java