Generated on Fri Oct 6 16:26:48 2006 for Gecode/J by doxygen 1.4.7

org.gecode.explorer.swing.SuccessNode Class Reference

Inherits org.gecode.explorer.swing.GraphicsNode.

List of all members.


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]

Implements org.gecode.explorer.swing.GraphicsNode.

Definition at line 44 of file SuccessNode.java.

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]

Implements org.gecode.explorer.swing.GraphicsNode.

Definition at line 98 of file SuccessNode.java.

boolean org.gecode.explorer.swing.SuccessNode.containsPoint ( Coordinate  x  )  [virtual]

Implements org.gecode.explorer.swing.GraphicsNode.

Definition at line 102 of file SuccessNode.java.


Member Data Documentation

Definition at line 30 of file SuccessNode.java.

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: