org.gecode.explorer.Shape Class Reference
List of all members.Detailed Description
Definition at line 29 of file Shape.java.
Public Member Functions | |
| Shape () | |
| Shape (Extent extent) | |
| Shape (Extent extent, Shape subShape) | |
| int | depth () |
| void | add (Extent Extent) |
| Extent | get (int i) |
| Iterator | iterator () |
| void | extend (int deltaL, int deltaR) |
| void | move (int delta) |
| Extent | getExtentAtDepth (int depth) |
| BoundingBox | getBoundingBox () |
| String | toString () |
Constructor & Destructor Documentation
| org.gecode.explorer.Shape.Shape | ( | ) |
Definition at line 33 of file Shape.java.
| org.gecode.explorer.Shape.Shape | ( | Extent | extent | ) |
Definition at line 37 of file Shape.java.
Definition at line 42 of file Shape.java.
Member Function Documentation
| int org.gecode.explorer.Shape.depth | ( | ) |
Definition at line 52 of file Shape.java.
| void org.gecode.explorer.Shape.add | ( | Extent | Extent | ) |
Definition at line 56 of file Shape.java.
| Extent org.gecode.explorer.Shape.get | ( | int | i | ) |
Definition at line 60 of file Shape.java.
| Iterator org.gecode.explorer.Shape.iterator | ( | ) |
Definition at line 64 of file Shape.java.
| void org.gecode.explorer.Shape.extend | ( | int | deltaL, | |
| int | deltaR | |||
| ) |
Definition at line 68 of file Shape.java.
| void org.gecode.explorer.Shape.move | ( | int | delta | ) |
Definition at line 74 of file Shape.java.
| Extent org.gecode.explorer.Shape.getExtentAtDepth | ( | int | depth | ) |
Definition at line 80 of file Shape.java.
| BoundingBox org.gecode.explorer.Shape.getBoundingBox | ( | ) |
Definition at line 98 of file Shape.java.
| String org.gecode.explorer.Shape.toString | ( | ) |
Definition at line 118 of file Shape.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/Shape.java (Revision: 2943)