org.gecode.explorer.Extent Class Reference
List of all members.Detailed Description
Definition at line 26 of file Extent.java.
Public Member Functions | |
| Extent (int pExtentL, int pExtentR) | |
| Extent (int width) | |
| void | extend (int deltaL, int deltaR) |
| void | move (int delta) |
| String | toString () |
Public Attributes | |
| int | extentL |
| int | extentR |
Constructor & Destructor Documentation
| org.gecode.explorer.Extent.Extent | ( | int | pExtentL, | |
| int | pExtentR | |||
| ) |
Definition at line 31 of file Extent.java.
| org.gecode.explorer.Extent.Extent | ( | int | width | ) |
Definition at line 36 of file Extent.java.
Member Function Documentation
| void org.gecode.explorer.Extent.extend | ( | int | deltaL, | |
| int | deltaR | |||
| ) |
Definition at line 42 of file Extent.java.
| void org.gecode.explorer.Extent.move | ( | int | delta | ) |
Definition at line 47 of file Extent.java.
| String org.gecode.explorer.Extent.toString | ( | ) |
Definition at line 52 of file Extent.java.
Member Data Documentation
Definition at line 28 of file Extent.java.
Definition at line 29 of file Extent.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/Extent.java (Revision: 2943)