All Packages  Class Hierarchy

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Index of all Fields and Methods

A

ABOUT. Static variable in class visualchr.control.Labels: About
ABOUT. Static variable in class visualchr.control.ToolTips: About VisualCHR.
aboutFrame. Variable in class visualchr.VisualCHR: the program information frame
aboutFrame. Variable in class visualchr.control.VisualCHRUtils: the program information frame
AboutFrame(VisualCHRUtils). Constructor for class visualchr.ui.AboutFrame: constructor
ACTIVE. Static variable in class visualchr.control.Node: normal node type
ACTIVE_CONSTRAINT. Static variable in class visualchr.control.Labels: In Store
ACTIVE_CONSTRAINT. Static variable in class visualchr.control.ToolTips: Constraint that is in store.
add(int, String, Edge). Method in class visualchr.control.EdgeGroupTable: adds a edge to the edgegroup
add(int, String, Node). Method in class visualchr.control.NodeGroupTable: adds a node to the nodegroup
addBasicNode(BasicNode). Method in class visualchr.control.CompactNode: add a basic node to the basicNodes, and call calcDim
addChild(Node). Method in class visualchr.control.Edge: add a node to child nodes
addChildEdge(Edge). Method in class visualchr.control.Node: add a child edge
addClone(GraphElement). Method in class visualchr.control.GraphElement: add a child edge
addEdge(Edge). Method in class visualchr.control.EdgeGroup: add a edge to this group
addEdge(Edge, int). Method in class visualchr.control.EdgeStore: add a edge to the store; adds matrix rows if needed
addEdge(Edge[], Edge). Static method in class visualchr.control.Edge: add an edge to the given edge array
addEdge(String, String, int[], int[]). Method in class visualchr.control.NodeGraph: add's an edge to the graph (removed parents are taken removed by the new edge)
addGraphElement(GraphElement[], GraphElement). Static method in class visualchr.control.GraphElement: add a element to the given element array
addHiddenEdgeId(String). Method in class visualchr.control.NodeGraph: add a hidden edge name
addHiddenIdentifier(String). Method in class visualchr.control.NodeGraph: add a hidden identifier
addNode(int, String, String, int). Method in class visualchr.control.NodeGraph: add a node to the node graph
addNode(Node). Method in class visualchr.control.NodeGroup: add a node to this group
addNode(Node). Method in class visualchr.control.NodeStore: add a node to the store; adds matrix rows if needed
addNode(Node[], Node). Static method in class visualchr.control.Node: add a node to the given node array
addParent(Node). Method in class visualchr.control.Edge: add a node to parent nodes
addReducedNode(CompactNode, boolean). Method in class visualchr.control.CompactNode: add a node to the list of reduced nodes
addRow(). Method in class visualchr.control.EdgeStore: add a field to the edges array
addRow(). Method in class visualchr.control.NodeStore: add a row this node matrix
addRow(). Method in class visualchr.control.VariableStore: add a row to the string matrix
addRule(Rule). Method in class visualchr.ui.RulesFrame: add a rule to the rules object
addToGrid(Component, Insets, int, int, int, int, double, double). Method in class visualchr.ui.MyGridBagLayout: Add a Component to GridBagLayout
addToGrid(Component, int, int, int, int, double, double). Method in class visualchr.ui.MyGridBagLayout: Add a Component to GridBagLayout
addToGrid(Component, int, int, int, int, int, int, double, double). Method in class visualchr.ui.MyGridBagLayout: Add a Component to GridBagLayout
addVariableTable(String[]). Method in class visualchr.control.NodeGraph: adds given variableTable to variableTables
addVariableTable(String[], int). Method in class visualchr.control.VariableStore: adds to the variable table the to add array, adds rows if needed
AFRAME. Static variable in class visualchr.control.Labels: _Frame
ALL_BASIC. Static variable in class visualchr.control.EdgeGroupTable: id for all 'basic' edges (edges between BasicNodes)
ALL_COMPACT. Static variable in class visualchr.control.EdgeGroupTable: id for all 'compact' edges (edges between CompactNodes)
anchor. Variable in class visualchr.ui.MyGridBagLayout: contents the anchor
applet. Variable in class visualchr.ui.MainFrame: the displayed JApplet
APPLY_DISPLAY_OPTIONS. Static variable in class visualchr.control.Labels: Apply
APPLY_DISPLAY_OPTIONS. Static variable in class visualchr.control.ToolTips: Apply changes.
applyRule(). Method in class visualchr.control.JCHRController: This method is called if the user wants to apply a rule directly on before selected constraints.

B

BASIC. Static variable in class visualchr.control.NodeGraph: identifier for basic nodes
BASIC_DISPLAY. Static variable in class visualchr.control.Labels: Constraint Visualization
BASIC_DISPLAY. Static variable in class visualchr.control.ToolTips: Every constraint is displayed in an own node.
basicEdges. Variable in class visualchr.control.NodeGraph: the store for basic edge nodes
BasicNode(BasicNode). Constructor for class visualchr.control.BasicNode: copy constructor
BasicNode(Point, String, int, String, int). Constructor for class visualchr.control.BasicNode: constructor
basicNodes. Variable in class visualchr.control.CompactNode: basic nodes that are contained by this compact node
basicNodes. Variable in class visualchr.control.NodeGraph: the store for all basic nodes
bClose. Variable in class visualchr.ui.SolverSelectionFrame: contents the "close" button object
bLoad. Variable in class visualchr.ui.SolverSelectionFrame: contents "load" button object
bLoadState. Variable in class visualchr.ui.SolverSelectionFrame: contents the current "sense" of the "load" button
BOUNDS_OFFSET. Static variable in class visualchr.control.GraphElement: space between dim and boundsDim (set to half DIM)
boundsDim. Variable in class visualchr.control.GraphElement: dimension of the element plus BOUNDS_OFFSET
boundsDim2. Variable in class visualchr.control.GraphElement: half boundsDim (stored cause performance)
br. Variable in class visualchr.control.SolverSourceReader: object variable that contents the access to the input stream
bRules. Variable in class visualchr.VisualCHR: the rules button
bSolver. Variable in class visualchr.VisualCHR: the open solver button
bTree. Variable in class visualchr.VisualCHR: the tree button
BUILD. Static variable in class visualchr.control.Labels: Build
BUILD. Static variable in class visualchr.control.ToolTips: Building the graph.
BUILTIN. Static variable in class visualchr.control.Node: builtin constraint node type
BUILTIN. Static variable in class visualchr.control.NodeGroupTable: if for built in nodes
BUILTIN_CONSTRAINT. Static variable in class visualchr.control.Labels: Built-In
BUILTIN_CONSTRAINT. Static variable in class visualchr.control.ToolTips: Built-In Constraint.
BUILTIN_CS. Static variable in class visualchr.control.Labels: Built-In Constraints
BUILTIN_CS. Static variable in class visualchr.control.ToolTips: Only selected constraints are shown.
builtinNodeColor. Static variable in class visualchr.control.Globals: default builtin node color

C

calcDim(). Method in class visualchr.control.CompactNode: calculates and sets dimension of this node, and all contents
calcDims(). Method in class visualchr.control.GraphElement: calculate and set dim2, rrDim and boundsDim[2], then call calcPointPos
calcLabelPos(). Method in class visualchr.control.GraphElement: calculate and set labelPos
calcMPos1(). Method in class visualchr.control.GraphElement: calculate and set mPos1
calcPointPos(). Method in class visualchr.control.GraphElement: calculate and set ulPos, urPos, llPos and lrPos
CALL_GOAL. Static variable in class visualchr.control.Labels: Call Goal
CALL_GOAL. Static variable in class visualchr.control.ToolTips: Call selected goal.
callGoal(String). Method in class visualchr.control.JCHRController: call the goal
callHandlerDefineMethod(String). Method in class visualchr.control.JCHRController: this calls a define method on the cs
cbGoal. Variable in class visualchr.ui.TreeFrame: contents the goal selection box object
cdof. Variable in class visualchr.ui.TreeFrame: contents the constraint display options frame
childEdges. Variable in class visualchr.control.Node: the edge that is 'under' this node
children. Variable in class visualchr.control.Edge: edge's Node children
CHR. Static variable in class visualchr.control.Labels: Constraint Handling Rules
clear(). Method in class visualchr.control.NodeGraph: clears the whole graph
CLEAR_SELECTION_DISPLAY_OPTIONS. Static variable in class visualchr.control.Labels: Clear Selection
CLEAR_SELECTION_DISPLAY_OPTIONS. Static variable in class visualchr.control.ToolTips: Clear all selected items.
CLEAR_TREE. Static variable in class visualchr.control.Labels: Clear Graph
CLEAR_TREE. Static variable in class visualchr.control.ToolTips: Clear the Graph.
clearReducedNodes(). Method in class visualchr.control.CompactNode: clear the list of reduced nodes
cloneActiveAndSelectedNodes(). Method in class visualchr.control.CompactNode: clone all active and selected nodes, and convert sel.
cloned. Variable in class visualchr.control.GraphElement: indicate that this element was cloned
CLONED. Static variable in class visualchr.control.Node: cloned node type
CLONED_NODE. Static variable in class visualchr.control.Labels: Cloned
CLONED_NODE. Static variable in class visualchr.control.ToolTips: Cloned Node.
clonedNodeColor. Static variable in class visualchr.control.Globals: default cloned node color
cloneNodesAndSetFired(Node[]). Method in class visualchr.control.CompactNode: set all nodes matching id's in given node array to Node.FIRED except builtins
cloneNodesMatchingType(int). Method in class visualchr.control.CompactNode: clone all type - matching contents
cloner. Variable in class visualchr.control.GraphElement: if this is a clone, than this is the 'original' element
clones. Variable in class visualchr.control.GraphElement: elements that are clones of this one
CLOSE_DISPLAY_OPTIONS. Static variable in class visualchr.control.Labels: Close
CLOSE_DISPLAY_OPTIONS. Static variable in class visualchr.control.ToolTips: Close this frame.
CLOSE_FRAME. Static variable in class visualchr.control.Labels: Close
CLOSE_FRAME. Static variable in class visualchr.control.ToolTips: Close this frame.
CLOSE_LOAD_SOLVER. Static variable in class visualchr.control.Labels: Close
CLOSE_LOAD_SOLVER. Static variable in class visualchr.control.ToolTips: Close this dialog.
CLOSE_TREE_FRAME. Static variable in class visualchr.control.Labels: Close
CLOSE_TREE_FRAME. Static variable in class visualchr.control.ToolTips: Press to close this frame.
COMPACT. Static variable in class visualchr.control.NodeGraph: identifier for compact nodes
COMPACT_DISPLAY. Static variable in class visualchr.control.Labels: Store Visualization
COMPACT_DISPLAY. Static variable in class visualchr.control.ToolTips: One node contains the whole constraint store.
compactEdges. Variable in class visualchr.control.NodeGraph: the store for compact edge nodes
CompactNode(Point). Constructor for class visualchr.control.CompactNode: constructor
compactNodeColor. Static variable in class visualchr.control.Globals: default background color for compact nodes
compactNodes. Variable in class visualchr.control.NodeGraph: the store for all compact nodes
consCheckReducedNodes(). Method in class visualchr.control.CompactNode: do a consistency check on the reduced nodes; correct errors if needed
CONSTRAINT_DISPLAY_OPTIONS. Static variable in class visualchr.control.Labels: Constraint Display Options
CONSTRAINT_DISPLAY_OPTIONS. Static variable in class visualchr.control.ToolTips: Select constraints to show or hide.
CONSTRAINT_STORE. Static variable in class visualchr.control.Labels: Constraint Store
containsId(Node[], Node). Static method in class visualchr.control.Node: is the given node.id in the array of nodes
contents. Variable in class visualchr.control.EdgeGroup: groups contents
contents. Variable in class visualchr.control.NodeGroup: groups contents
COUNT. Static variable in class visualchr.control.EdgeGroupTable: number of defined id's
COUNT. Static variable in class visualchr.control.NodeGroupTable: number of defined id's
count. Variable in class visualchr.control.Store: number of elements in the store
cs. Variable in class visualchr.control.JCHRController: holds the ConstraintSystem defined the current solver handler object
currentPos. Variable in class visualchr.control.NodeStore: contents the current matrix position
currentSolver. Variable in class visualchr.control.JCHRController: the name of the current solver
currentUDCM. Variable in class visualchr.control.JCHRController: the current user defined constraint memory

D

decCount(). Method in class visualchr.control.Store: decrement count
decCurrentPosX(). Method in class visualchr.control.NodeStore: decrement current matrix x position trough calling setCurrentPosX
decCurrentPosY(). Method in class visualchr.control.NodeStore: decrement current matrix y position trough calling setCurrentPosY
decMaxPosX(). Method in class visualchr.control.NodeStore: decrement max matrix x position
decMaxPosY(). Method in class visualchr.control.NodeStore: decrement max matrix y position
defaultBackgroundColor. Static variable in class visualchr.control.Globals: default color of all backgrounds
defaultComponentBackgroundColor. Static variable in class visualchr.control.Globals: default color of all component backgrounds
defaultComponentForegroundColor. Static variable in class visualchr.control.Globals: default color of all component foregrounds
defaultViewBackgroundColor. Static variable in class visualchr.control.Globals: default color of view components (lists, graph area, descriptions, ...)
definedRuleIds. Variable in class visualchr.control.JCHRController: the names of the defined rules of the current solver
description. Variable in class visualchr.control.SolverData: the solver's description
descriptionFile. Variable in class visualchr.control.SolverDescriptionReader: the url string to the description file (the name is defined in Globals)
destroy(). Method in class visualchr.VisualCHR: overwritten destroy of JApplet
dim. Variable in class visualchr.control.GraphElement: elements dimension (must be set by painter)
DIM. Static variable in class visualchr.control.GraphElement: initial dimension of an element
dim2. Variable in class visualchr.control.GraphElement: elements half dimension (stored cause performance)
DisplayOptionsFrame(VisualCHRUtils, JCHRController, NodeGraph). Constructor for class visualchr.ui.DisplayOptionsFrame: constructor

E

Edge(Edge). Constructor for class visualchr.control.Edge: 'copy' constructor (NO parents and childs are taken over!!)
Edge(int, String, String). Constructor for class visualchr.control.Edge: constructor
edgeBuiltInColor. Static variable in class visualchr.control.Globals: default edge color to builtins
edgeColor. Static variable in class visualchr.control.Globals: default edge color
EdgeGroup(String). Constructor for class visualchr.control.EdgeGroup: constructor
edgeGroups. Variable in class visualchr.control.NodeGraph: contents groups of edges
EdgeGroupTable(). Constructor for class visualchr.control.EdgeGroupTable: constructor
edgeHighlightColor. Static variable in class visualchr.control.Globals: default highlighted edge color
edgeLabelBoxBorderColor. Static variable in class visualchr.control.Globals: default edge label box border color
edgeLabelBoxColor. Static variable in class visualchr.control.Globals: default edge label box color
edgeLabelColor. Static variable in class visualchr.control.Globals: default edge label color
edgeRemovingColor. Static variable in class visualchr.control.Globals: default removing edge color
edges. Variable in class visualchr.control.EdgeStore: contains the edges
EdgeStore(). Constructor for class visualchr.control.EdgeStore: constructor
EXIT. Static variable in class visualchr.control.Labels: Exit
EXIT. Static variable in class visualchr.control.ToolTips: Exit application.

F

FAILER. Static variable in class visualchr.control.Node: failer constraint node type
FAILER_CONSTRAINT. Static variable in class visualchr.control.Labels: Failer
FAILER_CONSTRAINT. Static variable in class visualchr.control.ToolTips: Failer Constraint.
failerNodeColor. Static variable in class visualchr.control.Globals: default failer node color
fill. Variable in class visualchr.ui.MyGridBagLayout: contents the fill style
findNode(int). Method in class visualchr.control.NodeStore: get a node for given id
findNodeForTypeAndLabel(int, String). Method in class visualchr.control.NodeStore: get a node for given type and label
findNodesMatchingType(int, int). Method in class visualchr.control.NodeStore: get nodes that matching given type
FIRED. Static variable in class visualchr.control.Node: fired node type
FIRED_CONSTRAINT. Static variable in class visualchr.control.Labels: Fired
FIRED_CONSTRAINT. Static variable in class visualchr.control.ToolTips: Fired Constraint.
firedNodeColor. Static variable in class visualchr.control.Globals: default fired node color
FRAME. Static variable in class visualchr.control.Labels: Frame
FRAME. Static variable in class visualchr.control.ToolTips: Frame properties.

G

gbc. Variable in class visualchr.ui.MyGridBagLayout: contents the GridBagConstraints
getAccuBoundsDim(Node[]). Static method in class visualchr.control.Node: computes sum of boundsDim's in nodes
getAccuDim(Node[]). Static method in class visualchr.control.Node: computes sum of dim's in nodes
getAllBasicEdgeIds(). Method in class visualchr.control.NodeGraph: get all 'basic' edge names
getAllCompactEdgeIds(). Method in class visualchr.control.NodeGraph: get all 'basic' edge names
getAppletInfo(). Method in class visualchr.VisualCHR: overwritten getAppletInfo of JApplet
getAverageX(). Method in class visualchr.control.Edge: calculate average pos.x values of all parent and childs
getAverageX(Node[]). Static method in class visualchr.control.Node: compute average x values of given node array
getAverageY(Node[]). Static method in class visualchr.control.Node: compute average y values of given node array
getBasicNodes(). Method in class visualchr.control.CompactNode: get the basicNodes
getBasicNodes(). Method in class visualchr.control.NodeGraph: get basic nodes managed by this
getBasicNodesCount(). Method in class visualchr.control.NodeGraph: get number of basicNodes
getBoundsDim(). Method in class visualchr.control.GraphElement: get the boundsDim
getBoundsDim2(). Method in class visualchr.control.GraphElement: get the boundsDim2
getBuiltInIdentifiers(). Method in class visualchr.control.NodeGraph: get builtin identifiers
getBuiltInIdForLabel(String). Method in class visualchr.control.NodeGraph: get the id of an builtin constraint with given label
getChild(int). Method in class visualchr.control.Edge: get children[index]
getChildEdges(). Method in class visualchr.control.Node: get the childEdges
getChildren(). Method in class visualchr.control.Edge: get the children
getChildrenAverageX(). Method in class visualchr.control.Edge: get average pos.x values of all children
getChildrenCount(). Method in class visualchr.control.Edge: get the children.length
getChildrenMaximumLowerY(). Method in class visualchr.control.Edge: searchs max lrPos.y value in child nodes
getChildrenMaximumUpperY(). Method in class visualchr.control.Edge: searchs max ulPos.y value in child nodes
getChildrenMinimumLowerY(). Method in class visualchr.control.Edge: searchs min lrPos.y value in child nodes
getChildrenMinimumUpperY(). Method in class visualchr.control.Edge: searchs min ulPos.y value in child nodes
getCloner(). Method in class visualchr.control.GraphElement: get the cloner
getClones(). Method in class visualchr.control.GraphElement: get the clones
getCloseButton(). Method in class visualchr.ui.SolverSelectionFrame: get the "close" button object
getCodeBase(). Method in class visualchr.control.VisualCHRUtils: get applet's code base
getCompactNodes(). Method in class visualchr.control.NodeGraph: get compact nodes managed by this
getCompactNodesCount(). Method in class visualchr.control.NodeGraph: get number of compactNodes
getConstraintSystem(). Method in class visualchr.control.JCHRController: get the current JCHR handler's object ConstraintSystem
getContents(). Method in class visualchr.control.EdgeGroup: get the contents
getContents(). Method in class visualchr.control.NodeGroup: get the contents
getCount(). Method in class visualchr.control.Store: get number of elements stored
getCurrentPos(). Method in class visualchr.control.NodeGraph: get the current node matrix position depending on node type
getCurrentPos(). Method in class visualchr.control.NodeStore: get current matrix position
getCurrentPosNode(). Method in class visualchr.control.NodeStore: get the node at current position if exists, null else
calls getNode(currentPos.x, currentPos.y)
getCurrentPosX(). Method in class visualchr.control.NodeStore: get current matrix x position
getCurrentPosY(). Method in class visualchr.control.NodeStore: get current matrix y position
getCurrentSolver(). Method in class visualchr.control.JCHRController: get the name of the current solver
getDefinedRuleIds(). Method in class visualchr.control.JCHRController: get the names of the defined rules
getDescription(). Method in class visualchr.control.SolverData: gives access to description
getDim(). Method in class visualchr.control.GraphElement: get the dim
getDim2(). Method in class visualchr.control.GraphElement: get the dim2
getEdges(). Method in class visualchr.control.EdgeStore: get edges
getEdges(). Method in class visualchr.control.NodeGraph: get edges depending on node type
getEdgesCount(). Method in class visualchr.control.EdgeStore: get number of Edges
getEdgesCount(). Method in class visualchr.control.NodeGraph: get number of edges depending on node type
getGoalButton(). Method in class visualchr.ui.TreeFrame: get the Call Goal button object
getGoalComboBox(). Method in class visualchr.ui.TreeFrame: get the goal selection box
getGoals(). Method in class visualchr.control.SolverData: gives access to the goals
getGroup(int, String). Method in class visualchr.control.EdgeGroupTable: get a edgegroup from the given table matching id
getGroup(int, String). Method in class visualchr.control.NodeGroupTable: get a nodegroup from the given table matching identifier
getHandlerClass(). Method in class visualchr.control.JCHRController: get the current JCHR handler's class
getHandlerObject(). Method in class visualchr.control.JCHRController: get the current JCHR handler's object
getHiddenEdgeIds(). Method in class visualchr.control.NodeGraph: get all hidden edge names
getHiddenIdentifiers(). Method in class visualchr.control.NodeGraph: get all hidden identifiers
getId(). Method in class visualchr.control.Edge: get the id
getId(). Method in class visualchr.control.Node: get the id
getIdentifier(). Method in class visualchr.control.Group: get the identifier
getIdentifier(). Method in class visualchr.control.Node: get the identifier
getImageIcon(String). Method in class visualchr.control.VisualCHRUtils: get image-icons for given name (only icon name is given, path is set respective Globals.ICONS_PATH)
getIsAnApplet(). Method in class visualchr.control.VisualCHRUtils: get isAnApplet information
getJavaVersion(). Method in class visualchr.control.VisualCHRUtils: get javaVersion information
getKeys(int). Method in class visualchr.control.GroupTable: get a list of all keys, means identifiers
getLabel(). Method in class visualchr.control.GraphElement: get the label
getLabelDim(). Method in class visualchr.control.GraphElement: get the labelDim
getLabelOffset(). Method in class visualchr.control.GraphElement: get the labelOffset
getLabelPos(). Method in class visualchr.control.GraphElement: get the labelPos
getLastAddedEdge(). Method in class visualchr.control.EdgeStore: get last added edges
getLastAddedEdge(). Method in class visualchr.control.NodeGraph: get last added edges depending on node type
getLastAddedNodes(). Method in class visualchr.control.NodeGraph: get the last nodes added depending on node type
getLastAddedNodes(). Method in class visualchr.control.NodeStore: get the last nodes added
getLlPos(). Method in class visualchr.control.GraphElement: get the llPos
getLoadButton(). Method in class visualchr.ui.SolverSelectionFrame: get the "load" button object
getLoadButtonState(). Method in class visualchr.ui.SolverSelectionFrame: get the "load" button state
getLrPos(). Method in class visualchr.control.GraphElement: get the lrPos
getMaximumLowerY(Node[]). Static method in class visualchr.control.Node: searchs max lrPos.y value in given node array
getMaximumPosY(Node[]). Static method in class visualchr.control.Node: searchs max pos.y value in given node array
getMaximumUpperY(Node[]). Static method in class visualchr.control.Node: searchs max ulPos.y value in given node array
getMaxPos(). Method in class visualchr.control.NodeGraph: get the maximum node matrix size depending on node type
getMaxPos(). Method in class visualchr.control.NodeStore: get max matrix position
getMaxPosX(). Method in class visualchr.control.NodeStore: get max matrix x position
getMaxPosY(). Method in class visualchr.control.NodeStore: get max matrix y position
getMinimumLowerY(Node[]). Static method in class visualchr.control.Node: searchs min lrPos.y value in given node array
getMinimumPosY(Node[]). Static method in class visualchr.control.Node: searchs min pos.y value in given node array
getMinimumUpperY(Node[]). Static method in class visualchr.control.Node: searchs min ulPos.y value in given node array
getMPos(). Method in class visualchr.control.GraphElement: get the mPos
getMPos1(). Method in class visualchr.control.GraphElement: get the mPos1
getName(). Method in class visualchr.control.SolverData: gives access to name
getNextButton(). Method in class visualchr.ui.TreeFrame: get the next button object
getNode(int, int). Method in class visualchr.control.NodeStore: get the node at given position if exists, null else
getNodes(). Method in class visualchr.control.NodeGraph: get nodes managed by this depending on node type
getNodes(). Method in class visualchr.control.NodeStore: get the node store
getNodesCount(). Method in class visualchr.control.NodeGraph: get number of nodes depending on node type
getNodeType(). Method in class visualchr.control.NodeGraph: get the node type
getParameter(String, String[]). Method in class visualchr.control.VisualCHRUtils: get program parameters, either from applet or commandline
getParameterInfo(). Method in class visualchr.VisualCHR: overwritten getParameterInfo of JApplet
getParent(int). Method in class visualchr.control.Edge: get parents[index]
getParentEdge(). Method in class visualchr.control.Node: get the parentEdge
getParents(). Method in class visualchr.control.Edge: get the parents
getParentsAverageX(). Method in class visualchr.control.Edge: get average pos.x values of all parents
getParentsCount(). Method in class visualchr.control.Edge: get the parents.length
getParentsMaximumLowerY(). Method in class visualchr.control.Edge: searchs max lrPos.y value in parent nodes
getParentsMaximumUpperY(). Method in class visualchr.control.Edge: searchs max ulPos.y value in parent nodes
getParentsMinimumLowerY(). Method in class visualchr.control.Edge: searchs min lrPos.y value in parent nodes
getParentsMinimumUpperY(). Method in class visualchr.control.Edge: searchs min ulPos.y value in parent nodes
getPos(). Method in class visualchr.control.GraphElement: get the pos
getPreLastAddedEdge(). Method in class visualchr.control.EdgeStore: get pre-last added edges
getPreLastAddedEdge(). Method in class visualchr.control.NodeGraph: get pre last added edges depending on node type
getPreLastAddedNodes(). Method in class visualchr.control.NodeGraph: get the pre last nodes added depending on node type
getPreLastAddedNodes(). Method in class visualchr.control.NodeStore: get the pre last nodes added
getReducedNodes(). Method in class visualchr.control.CompactNode: get the reduced nodes inside
getRemovingEdge(). Method in class visualchr.control.Node: get the removingEdge
getRow(int). Method in class visualchr.control.VariableStore: get a wished row, if exists
getRowCount(). Method in class visualchr.control.NodeStore: get current matrix row count
getRrDim(). Method in class visualchr.control.GraphElement: get the rrDim
getRule(). Method in class visualchr.control.Edge: get the rule
getRules(). Method in class visualchr.ui.RulesFrame: get a list of the rule objects, which are displayed (in same order)
getRulesTable(). Method in class visualchr.ui.RulesFrame: get the JTable rules
getSelectedBasicNodes(). Method in class visualchr.control.NodeGraph: get all selected basicNodes
getSetProgramParameters(String[]). Method in class visualchr.control.VisualCHRUtils: get and set program parameters (all parameters are set in the Globals class, so they are stored persistent)
getSkipButton(). Method in class visualchr.ui.TreeFrame: get the skip button object
getSolverData(String). Method in class visualchr.control.VisualCHRUtils: get a solvers data
getSolverList(). Method in class visualchr.ui.SolverSelectionFrame: get the solver list object
getSolvers(). Method in class visualchr.control.VisualCHRUtils: get the hashtable of solver datas
getSourceCode(). Method in class visualchr.control.SolverSourceReader: get the solver's source code
getSourceFrame(). Method in class visualchr.ui.SolverSelectionFrame: get the source frame object
getTable(int). Method in class visualchr.control.GroupTable: get a table
getType(). Method in class visualchr.control.Node: get the type
getUlPos(). Method in class visualchr.control.GraphElement: get the ulPos
getUrPos(). Method in class visualchr.control.GraphElement: get the urPos
getUserDefinedIdentifiers(). Method in class visualchr.control.NodeGraph: get user defined identifiers
Globals(). Constructor for class visualchr.control.Globals: default constructor
GOAL. Static variable in class visualchr.control.Icons: current using, defaults to systemGOAL
GOAL. Static variable in class visualchr.control.Labels: Goal
GOAL. Static variable in class visualchr.control.ToolTips: Select a goal to evaluate.
GOAL_SMALL. Static variable in class visualchr.control.Icons: current using, defaults to systemGOAL_SMALL
goals. Variable in class visualchr.control.SolverData: the goals defined in this solver
GraphElement(). Constructor for class visualchr.control.GraphElement: constructor that initializes all
GraphElement(GraphElement). Constructor for class visualchr.control.GraphElement: copy constructor
GraphElement(Point). Constructor for class visualchr.control.GraphElement: constructor initializes matrix pos
GraphElement(Point, String). Constructor for class visualchr.control.GraphElement: constructor initializes matrix pos and label
Group(). Constructor for class visualchr.control.Group: constructor
Group(String). Constructor for class visualchr.control.Group: constructor
GroupTable(int). Constructor for class visualchr.control.GroupTable: constructor

H

handlerClass. Variable in class visualchr.control.JCHRController: holds the Class of the current solver handler
handlerObject. Variable in class visualchr.control.JCHRController: holds the Object of the current solver handler
hasMoreSolvers(). Method in class visualchr.control.SolverDescriptionReader: determine if there are more solvers available (look if the next symbol in the stream is not EndOfFile)
hasReducedNodes(). Method in class visualchr.control.CompactNode: indicate if there are some reduced nodes inside this
hasUsedChildren(). Method in class visualchr.control.Edge: has this edge used children
hasUsedEdges(Node[]). Method in class visualchr.control.Edge: has this edge used lines
hasUsedParents(). Method in class visualchr.control.Edge: has this edge used parents
hasVisibleBasicNodes(). Method in class visualchr.control.CompactNode: are there visible basic nodes in this compact node
hasVisibleChildren(). Method in class visualchr.control.Edge: has this edge visible children
hasVisibleEdges(Node[]). Method in class visualchr.control.Edge: has this edge visible lines
hasVisibleParents(). Method in class visualchr.control.Edge: has this edge visible parents
HELP. Static variable in class visualchr.control.Labels: Help
HELP. Static variable in class visualchr.control.ToolTips: Some information about this.
HIDDEN. Static variable in class visualchr.control.EdgeGroupTable: if for hidden edges
HIDDEN. Static variable in class visualchr.control.NodeGroupTable: if for hidden nodes
HIDE_OPEN_SOLVER. Static variable in class visualchr.control.Labels: Hide Open
HIDE_OPEN_SOLVER. Static variable in class visualchr.control.ToolTips: Press to hide solver selection frame.
HIDE_RULES. Static variable in class visualchr.control.Labels: Hide Rules
HIDE_RULES. Static variable in class visualchr.control.ToolTips: Press to hide rules frame.
HIDE_SOURCE. Static variable in class visualchr.control.Labels: Hide Source
HIDE_SOURCE. Static variable in class visualchr.control.ToolTips: Press to hide source frame.
HIDE_TREE. Static variable in class visualchr.control.Labels: Hide Graph
HIDE_TREE. Static variable in class visualchr.control.ToolTips: Press to hide tree frame.
hideAllFrames(). Method in class visualchr.VisualCHR: hide all frames that are visible (called when the applet disappears)

I

Icons(). Constructor for class visualchr.control.Icons: default constructor
ICONS_PATH. Static variable in class visualchr.control.Globals: path to the icons, here /icons/
id. Variable in class visualchr.control.Edge: edge's identification
id. Variable in class visualchr.control.Node: node's identification id
idColumnWidth. Variable in class visualchr.ui.RulesFrame: the width of the id column
identifier. Variable in class visualchr.control.Group: groups identifier
identifier. Variable in class visualchr.control.Node: node's identifier
incCount(). Method in class visualchr.control.Store: increment count
incCurrentPosX(). Method in class visualchr.control.NodeStore: increment current matrix x position trough calling setCurrentPosX
incCurrentPosY(). Method in class visualchr.control.NodeStore: increment current matrix y position trough calling setCurrentPosY
incMaxPosX(). Method in class visualchr.control.NodeStore: increment max matrix x position
incMaxPosY(). Method in class visualchr.control.NodeStore: increment max matrix y position
init(). Method in class visualchr.VisualCHR: overwritten init of JApplet
initGraphSize(). Method in class visualchr.ui.TreeFrame: set sizes of the graph panel
initialize(). Method in class visualchr.ui.AboutFrame: does all initialization
initialize(). Method in class visualchr.ui.DisplayOptionsFrame: does all initialization
initialize(). Method in class visualchr.control.EdgeStore: does the initialization of the store
initialize(). Method in class visualchr.control.GraphElement: do the initialization
initialize(). Method in class visualchr.control.Node: do some initialization
initialize(). Method in class visualchr.control.NodeGraph: does some initialization
initialize(). Method in class visualchr.control.NodeStore: does the initialization of the store
initialize(). Method in class visualchr.ui.RuleDisplayOptionsFrame: does all initialization
initialize(). Method in class visualchr.ui.RulesFrame: does all initialization
initialize(). Method in class visualchr.ui.SolverSelectionFrame: does all initialization
initialize(). Method in class visualchr.ui.SourceFrame: does all initialization
initialize(). Method in class visualchr.ui.TreeFrame: does all initialization
initialize(). Method in class visualchr.control.VariableStore: does the initialization of the store
initialize(). Method in class visualchr.VisualCHR: does all initialization
initialize(int, int). Method in class visualchr.ui.MainFrame: does all initialization
initializeDefinedRuleIds(). Method in class visualchr.control.JCHRController: initialize the array of defined rule ids
initializeDisplay(). Method in class visualchr.ui.DisplayOptionsFrame: does all initialization of values shown
initializeDisplay(). Method in class visualchr.ui.RuleDisplayOptionsFrame: does all initialization of values shown
initializeEdgeGroupTable(String[]). Method in class visualchr.control.NodeGraph: initialize edge group table
initializeEmptyGoalDisplay(). Method in class visualchr.ui.TreeFrame: initializes the display, means it gets all information and displays them
initializeGoalsDisplay(). Method in class visualchr.ui.TreeFrame: initializes the display, means it gets all information and displays them
initializeRulesDisplay(). Method in class visualchr.ui.RulesFrame: initializes the display, means it gets all information and displays them
initializeSolver(String). Method in class visualchr.control.JCHRController: set the name of the current solver and add it to list of available solvers
initializeSolver(String). Method in class visualchr.control.VisualCHRUtils: put the current solver's data into solvers
This method is only called when the program is started as application.
initializeSolvers(). Method in class visualchr.control.VisualCHRUtils: Do read and parse the solver description file (defined in Globals), and put the information into the object variable solvers.
This method is only called when the program is started as applet.
initializeSolversDisplay(). Method in class visualchr.ui.SolverSelectionFrame: initializes the solver display, means it gets all information and displays them sorted
initializeSourceDisplay(). Method in class visualchr.ui.SourceFrame: initializes the source display, means it gets the source string and displays it
isAnApplet. Static variable in class visualchr.VisualCHR: holds informatin about program is started as an applet, default set to true
isAnApplet. Variable in class visualchr.control.VisualCHRUtils: hold information if this program is startet as an applet or an application
isBuiltInIdentifier(String). Method in class visualchr.control.NodeGraph: test a identifier it is builtin
isCloned(). Method in class visualchr.control.GraphElement: get if element is cloned
isGreaterJavaVersion(String). Method in class visualchr.control.VisualCHRUtils: indicate the current using java version is greater than given
isHiddenEdgeId(String). Method in class visualchr.control.NodeGraph: test an edge name is hidden
isHiddenIdentifier(String). Method in class visualchr.control.NodeGraph: test a identifier it is hidden
isId(int). Method in class visualchr.control.Node: get this node has given id
isId(String). Method in class visualchr.control.Edge: is given id equal this id
isIdentifier(String). Method in class visualchr.control.Node: get this node has given identifier
isInside(Rectangle). Method in class visualchr.control.Edge: test if this edge is contained in the given rectangle (expensive method!)
isInside(Rectangle). Method in class visualchr.control.GraphElement: test if this element is contained in the given rectangle
isKey(int, String). Method in class visualchr.control.GroupTable: test a identifier is a key
isLabel(String). Method in class visualchr.control.GraphElement: test if the given label is the label of this graph element
isLabelChanged(). Method in class visualchr.control.Edge: is label changed
isLowerJavaVersion(String). Method in class visualchr.control.VisualCHRUtils: indicate the current using java version is lower than given
isReduced(). Method in class visualchr.control.GraphElement: get if element is reduced
isRemovingEdge(Edge). Method in class visualchr.control.Node: get the removingEdge
isRule(String). Method in class visualchr.control.Edge: is given rule equal this rule
isShowsRule(). Method in class visualchr.control.Edge: is rule shown
isSkipping(). Method in class visualchr.control.JCHRController: find out if a skip thread is running
isType(int). Method in class visualchr.control.Node: get is this node from given type
isUsed(). Method in class visualchr.control.GraphElement: get if element is used
isUserDefinedIdentifier(String). Method in class visualchr.control.NodeGraph: test a identifier it is user-defined
isVisible(). Method in class visualchr.control.CompactNode: get if elements of this node, and so the node itself, are visible
Note: This method has side effects!!
isVisible(). Method in class visualchr.control.Edge: get if edge is visible
isVisible(). Method in class visualchr.control.GraphElement: get if element is visible
itemAdapter1. Variable in class visualchr.VisualCHR: the TreeFrame - Goals - ComboBox ItemAdapter

J

JACK_CONSTRAINTSYSTEM. Static variable in class visualchr.control.Globals: variable name of a handler's constraintSystem, here cs
JACK_PREMETHODNAME. Static variable in class visualchr.control.Globals: all goal definitions beginning with this prefix, here define
JACK_RULESMETHODNAME. Static variable in class visualchr.control.Globals: the rule definition method's name, here defineRules
japplet. Variable in class visualchr.control.VisualCHRUtils: contents the applet object
JAVA_PROPERTIES. Static variable in class visualchr.control.Labels: Java Properties
JAVA_PROPERTIES. Static variable in class visualchr.control.ToolTips: Here all java properties are shown.
javaVersion. Variable in class visualchr.control.VisualCHRUtils: contents version string of the using java vm
jchrController. Variable in class visualchr.VisualCHR: the controller of JCHR
JCHRController(VisualCHRUtils, NodeGraph, JCHRControllerListener). Constructor for class visualchr.control.JCHRController: constructor
jchrControllerListener. Variable in class visualchr.control.JCHRController: the listener is informed of changes of skip

L

label. Variable in class visualchr.control.GraphElement: every element has a label
labelChanged. Variable in class visualchr.control.Edge: indicate that showed label changed
labelDim. Variable in class visualchr.control.GraphElement: elements label dimension (must be set by painter)
labelOffset. Variable in class visualchr.control.GraphElement: elements label position offset (relative to pos, defaults to labelDim / 2)
labelPos. Variable in class visualchr.control.GraphElement: elements label position (is set to middle of the labelDim)
Labels(). Constructor for class visualchr.control.Labels: default constructor
LAYOUT_GRAPH. Static variable in class visualchr.control.Labels: Layout Graph
LAYOUT_GRAPH. Static variable in class visualchr.control.ToolTips: Re-Layout the graph.
layoutComponent(). Method in interface visualchr.control.NodeGraphListener: called in case of an visual update; should be called to layout the graph
layoutComponent(). Method in class visualchr.ui.TreeFrame: called in case of an visual update; should be called to layout the graph
lBuiltIn. Variable in class visualchr.ui.DisplayOptionsFrame: list of built in constraints
LEGEND. Static variable in class visualchr.control.Labels: Legend
llPos. Variable in class visualchr.control.GraphElement: elements lower right point
LOAD_SOLVER. Static variable in class visualchr.control.Labels: Load
LOAD_SOLVER. Static variable in class visualchr.control.ToolTips: Load the selected solver.
LOADBUTTON_LOAD. Static variable in class visualchr.ui.SolverSelectionFrame: when the "load" button has "load sense"
LOADBUTTON_SOURCE. Static variable in class visualchr.ui.SolverSelectionFrame: when the "load" button has "show source sense"
loadCurrentSolver(). Method in class visualchr.control.JCHRController: load the current solver, means occupy handlerClass, handlerObject and cs, and also initialize the solver itself (by calling defineRules on the cs)
loadSolver(). Method in class visualchr.VisualCHR: load the current solver and initialize all frames
lrPos. Variable in class visualchr.control.GraphElement: elements lower left point
lRuleId. Variable in class visualchr.ui.RuleDisplayOptionsFrame: list of user defined constraints
lSolver. Variable in class visualchr.ui.SolverSelectionFrame: contents solver list object
lUserDefined. Variable in class visualchr.ui.DisplayOptionsFrame: list of user defined constraints

M

main(String[]). Static method in class visualchr.VisualCHR

when called as application, main is ivoked; isAnApplet is set to false here
available commandline parameters:

 -SHOW_CLONED       {true | false}       set true, if cloned nodes should be shown
                                         (undocumented, defaults to false)
 -SHOW_FAILER       {true | false}       set true, if failer nodes should be shown
                                         (undocumented, defaults to false)
 -SELECTION_ENABLED {true | false}       set true, if explicite application of rules should be
                                         allowed (undocumented, not implemented, defaults to false)
 -SKIP_SLEEP        n                    milliseconds between skip steps
                                         (should be big enough to repaint screen, defaults to 250)
 -COLOR_SCHEME      {visualchr | system} set the color scheme, either 'system' or 'visualchr'
                                         ('system' are system colors, defaults to 'system')

MainFrame(JApplet, String, ImageIcon, int, int). Constructor for class visualchr.ui.MainFrame

constructor

MainFrame(JApplet, String, int, int). Constructor for class visualchr.ui.MainFrame

constructor

makeButtonAction(int). Method in class visualchr.ui.DisplayOptionsFrame

actions to perform on a button press

makeButtonAction(int). Method in class visualchr.ui.RuleDisplayOptionsFrame

actions to perform on a button press

makeButtonAction(int). Method in class visualchr.VisualCHR

actions to perform on a button press

makeItemAction(int). Method in class visualchr.VisualCHR

actions to perform on a item change event

makeMenuAction(int). Method in class visualchr.ui.AboutFrame