main page modules namespaces classes files
Gecode/J home

org.gecode.explorer.swing.SwingUI Class Reference

Inherits org.gecode.explorer.ExplorerUIInterface.

List of all members.

---

Detailed Description

Definition at line 33 of file SwingUI.java.

Public Member Functions
	SwingUI (ExplorerController 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.explorer.swing.SwingUI.SwingUI

(

ExplorerController

ctrl

)

Definition at line 38 of file SwingUI.java.

---

Member Function Documentation

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

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 43 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.update

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 48 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.open

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 55 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.inspect

(

String

s

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 68 of file SwingUI.java.

File org.gecode.explorer.swing.SwingUI.saveFilename

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 75 of file SwingUI.java.

boolean org.gecode.explorer.swing.SwingUI.overwriteDialog

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 84 of file SwingUI.java.

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

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 93 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.scaleToFit

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 98 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.centerCursor

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 102 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.setCurrentNode

(

SpaceNode

newNode

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 106 of file SwingUI.java.

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

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 111 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.menuSearchActive

(

boolean

active

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 114 of file SwingUI.java.

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

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 117 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.menuUnhideAllActive

(

boolean

active

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 120 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.menuHideFailedActive

(

boolean

active

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 123 of file SwingUI.java.

void org.gecode.explorer.swing.SwingUI.updateEventListeners

(

)

Implements org.gecode.explorer.ExplorerUIInterface.

Definition at line 128 of file SwingUI.java.

---

Member Data Documentation

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

Definition at line 34 of file SwingUI.java.

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

Definition at line 35 of file SwingUI.java.

---

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

• org/gecode/explorer/swing/SwingUI.java (Revision: 2982)