Uses of Class
edu.upenn.crimson.Partition

Packages that use Partition

edu.upenn.crimson
edu.upenn.crimson.gui

Uses of Partition in edu.upenn.crimson

Methods in edu.upenn.crimson that return Partition

static Partition

ObjectHandles.getPartition(java.lang.String id) Returns the Partition object for the given ID.

Methods in edu.upenn.crimson with parameters of type Partition

void	Tree.addPartition(Partition partition)
static void	ObjectHandles.addPartition(Partition partition) This will add the partition to the relevant lists.
void	Tree.removePartition(Partition partition)

Uses of Partition in edu.upenn.crimson.gui

Fields in edu.upenn.crimson.gui declared as Partition

(package private) Partition	TreeManager.NotesPanel.npPartition
(package private) Partition	TreeManager.PanelFrame.partition Reference to the Partition selected.

Constructors in edu.upenn.crimson.gui with parameters of type Partition

TreeManager.NotesPanel(Partition partition)

TreeManager.NotesPanel(Tree tree, Partition partition)