main page modules namespaces classes files
Gecode/J home

org.gecode.gist.swing.SwingUI Class Reference

Inherits org.gecode.gist.GistUIInterface.

List of all members.

---

Detailed Description

Definition at line 34 of file SwingUI.java.

Public Member Functions
	SwingUI (GistController ctrl)
SpaceNode	createRoot (Space rootSpace, boolean bab, Statistics stats)
void	update ()
void	open ()
void	inspect (String s)
File	saveFilename ()
boolean	overwriteDialog ()
void	reportError (String title, String msg)
void	scaleToFit ()
void	centerCursor ()
void	setCurrentNode (SpaceNode newNode)
void	menuInspectActive (boolean active, boolean isRoot, boolean isLeaf)
void	menuSearchActive (boolean active)
void	menuHideNodeActive (boolean active, boolean hidden)
void	menuUnhideAllActive (boolean active)
void	menuHideFailedActive (boolean active)
void	updateEventListeners ()
Package Attributes
TreeCanvas	canvas
Inspector	inspector

---

Constructor & Destructor Documentation

org.gecode.gist.swing.SwingUI.SwingUI

(

GistController

ctrl

)

Definition at line 39 of file SwingUI.java.

---

Member Function Documentation

SpaceNode org.gecode.gist.swing.SwingUI.createRoot	(	Space	rootSpace,
		boolean	bab,
		Statistics	stats
	)

Implements org.gecode.gist.GistUIInterface.

Definition at line 44 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.update

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 49 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.open

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 56 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.inspect

(

String

s

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 69 of file SwingUI.java.

File org.gecode.gist.swing.SwingUI.saveFilename

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 76 of file SwingUI.java.

boolean org.gecode.gist.swing.SwingUI.overwriteDialog

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 85 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.reportError	(	String	title,
		String	msg
	)

Implements org.gecode.gist.GistUIInterface.

Definition at line 94 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.scaleToFit

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 99 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.centerCursor

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 103 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.setCurrentNode

(

SpaceNode

newNode

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 107 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.menuInspectActive	(	boolean	active,
		boolean	isRoot,
		boolean	isLeaf
	)

Implements org.gecode.gist.GistUIInterface.

Definition at line 112 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.menuSearchActive

(

boolean

active

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 115 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.menuHideNodeActive	(	boolean	active,
		boolean	hidden
	)

Implements org.gecode.gist.GistUIInterface.

Definition at line 118 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.menuUnhideAllActive

(

boolean

active

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 121 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.menuHideFailedActive

(

boolean

active

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 124 of file SwingUI.java.

void org.gecode.gist.swing.SwingUI.updateEventListeners

(

)

Implements org.gecode.gist.GistUIInterface.

Definition at line 129 of file SwingUI.java.

---

Member Data Documentation

TreeCanvas org.gecode.gist.swing.SwingUI.canvas [package]

Definition at line 35 of file SwingUI.java.

Inspector org.gecode.gist.swing.SwingUI.inspector [package]

Definition at line 36 of file SwingUI.java.

---

The documentation for this class was generated from the following file:

• org/gecode/gist/swing/SwingUI.java (Revision: 3796)