A C D E F G H I L M N O P R S T U V

A

abstractStep - Variable in class edu.williams.cs.ljil.introspector.AbstractStepIntrospector
The step being introspected.
abstractStep - Variable in class edu.williams.cs.ljil.introspector.ItemIntrospector
The abstract step that this agenda item represents.
AbstractStepIntrospector - Class in edu.williams.cs.ljil.introspector
This class allows one to ask questions about a step and the process that it comes from.
AbstractStepIntrospector() - Constructor for class edu.williams.cs.ljil.introspector.AbstractStepIntrospector
Constructs an introspector for a step.
acquiresAgent() - Method in class edu.williams.cs.ljil.introspector.AbstractStepIntrospector
Method acquiresAgent.
Actionable - Class in edu.williams.cs.ljil.finitizer
Class implementing sub-actions for Issues and ResolutionActions
Actionable() - Constructor for class edu.williams.cs.ljil.finitizer.Actionable
 
ActionableStateListener - Interface in edu.williams.cs.ljil.finitizer
Interface for listening to actionable state changes.
actionStateChanged(Actionable) - Method in interface edu.williams.cs.ljil.finitizer.ActionableStateListener
 
actionStateChanged(Actionable) - Method in class edu.williams.cs.ljil.finitizer.ui.ResolutionTreeModel
Notifies listeners to the tree model that the model has changed.
addDiagramChangeListener(DiagramChangeListener) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper
Adds a listener for changes to a diagram
addedBinding - Variable in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction
The binding connecting the root of the inlined subtree to the rest of the process.
addedStep - Variable in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction
The root of the tree that is inlined
addStateListener(ActionableStateListener) - Method in class edu.williams.cs.ljil.finitizer.Actionable
 
addStateListenerRecursively(ActionableStateListener) - Method in class edu.williams.cs.ljil.finitizer.Actionable
 
addSubAction(Actionable) - Method in class edu.williams.cs.ljil.finitizer.Actionable
add a subaction
addSubtreeToDiagram(AbstractStep, Diagram, AbstractBinding) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper
Utility method for adding a subtree to a diagram.
addTabForDiagram(Diagram) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane
Add a tab to the pane for a diagram.
addToolBarAction(String, Action) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderToolbar
Attaches an action to a button.
addTransformationListener(TransformationListener) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder
 
addTreeModelListener(TreeModelListener) - Method in class edu.williams.cs.ljil.finitizer.ui.ResolutionTreeModel
Adds a listener for the TreeModelEvent posted after the tree changes.
applied - Variable in class edu.williams.cs.ljil.finitizer.actions.recursion.EliminateRecursionAction
 
applied(Transformation) - Method in interface edu.williams.cs.ljil.finitizer.TransformationListener
 
applied(Transformation) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane
Highlights steps that have had resolutions selected.
AppliedTransformation - Interface in edu.williams.cs.ljil.finitizer
 
AppliedTransformationAction - Class in edu.williams.cs.ljil.finitizer.actions
 
AppliedTransformationAction(FSPBuilder, StepRef) - Constructor for class edu.williams.cs.ljil.finitizer.actions.AppliedTransformationAction
Creates a transformation action.
appliedTransformations - Variable in class edu.williams.cs.ljil.finitizer.FSPBuilder
Sequence of pending transformations.
apply() - Method in class edu.williams.cs.ljil.finitizer.actions.AppliedTransformationAction
Applies a transformation
apply() - Method in class edu.williams.cs.ljil.finitizer.actions.PendingTransformationAction
 
apply() - Method in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction
Inlines a step.
apply() - Method in class edu.williams.cs.ljil.finitizer.actions.ResolutionAction
Apply the action
apply() - Method in interface edu.williams.cs.ljil.finitizer.PendingTransformation
Apply transformation.

A C D E F G H I L M N O P R S T U V