org.gecode.explorer.swing.SuccessNode Class Reference
Inherits org.gecode.explorer.swing.GraphicsNode.Detailed Description
Definition at line 28 of file SuccessNode.java.
Public Member Functions | |
| SuccessNode () | |
| void | draw (Graphics2D g2, int x, int y, boolean hasShadow) |
| void | move (int xoff) |
| void | connect (Graphics2D g2, int x, int y, int child_x, int child_y) |
| boolean | containsPoint (Coordinate x) |
Package Functions | |
| Point | getConnector (int x, int y) |
Static Package Functions | |
| [static initializer] | |
Static Package Attributes | |
| static int | x1Points [] = {0, halfUnit, 0, -halfUnit} |
| static int | y1Points [] = {0, halfUnit, unit, halfUnit} |
| static GeneralPath | diamond |
Constructor & Destructor Documentation
| org.gecode.explorer.swing.SuccessNode.SuccessNode | ( | ) |
Definition at line 42 of file SuccessNode.java.
Member Function Documentation
| org.gecode.explorer.swing.SuccessNode.[static initializer] | ( | ) | [static, package] |
| void org.gecode.explorer.swing.SuccessNode.draw | ( | Graphics2D | g2, | |
| int | x, | |||
| int | y, | |||
| boolean | hasShadow | |||
| ) | [virtual] |
| void org.gecode.explorer.swing.SuccessNode.move | ( | int | xoff | ) |
Definition at line 82 of file SuccessNode.java.
| void org.gecode.explorer.swing.SuccessNode.connect | ( | Graphics2D | g2, | |
| int | x, | |||
| int | y, | |||
| int | child_x, | |||
| int | child_y | |||
| ) |
Definition at line 90 of file SuccessNode.java.
| Point org.gecode.explorer.swing.SuccessNode.getConnector | ( | int | x, | |
| int | y | |||
| ) | [package, virtual] |
| boolean org.gecode.explorer.swing.SuccessNode.containsPoint | ( | Coordinate | x | ) | [virtual] |
Member Data Documentation
int org.gecode.explorer.swing.SuccessNode.x1Points[] = {0, halfUnit, 0, -halfUnit} [static, package] |
Definition at line 30 of file SuccessNode.java.
int org.gecode.explorer.swing.SuccessNode.y1Points[] = {0, halfUnit, unit, halfUnit} [static, package] |
Definition at line 31 of file SuccessNode.java.
GeneralPath org.gecode.explorer.swing.SuccessNode.diamond [static, package] |
Initial value:
new GeneralPath(GeneralPath.WIND_NON_ZERO, x1Points.length)
Definition at line 32 of file SuccessNode.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/swing/SuccessNode.java (Revision: 2943)
