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

U

unapplied(Transformation) - Method in interface edu.williams.cs.ljil.finitizer.TransformationListener

unapplied(Transformation) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

Unhighlights steps that no longer have resolutions pending.

unapply() - Method in class edu.williams.cs.ljil.finitizer.actions.AppliedTransformationAction

Undoes a transformation.

unapply() - Method in class edu.williams.cs.ljil.finitizer.actions.PendingTransformationAction

unapply() - Method in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction

Undo the inlining.

unapply() - Method in class edu.williams.cs.ljil.finitizer.actions.ResolutionAction

Undo the action

unapplyAllSubActions() - Method in class edu.williams.cs.ljil.finitizer.Actionable

unapply all subactions

undoTransformationApplied(AppliedTransformation) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder

Indicate that the given transformation has been undone.

unhighlight() - Method in class edu.williams.cs.ljil.finitizer.ui.FSPNullHandlerView

Display the null handler in its unhighlighted color to indicate it is not selected.

unhighlight() - Method in class edu.williams.cs.ljil.finitizer.ui.FSPPostItView

Draw the postit note with its unhighlight color to indicate to the user that it is not selected.

unhighlightAll() - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

Unhighlight all steps.

unregisterPendingTransformation(PendingTransformation) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder

Undo application of a pending transformation.

updateButtonStates() - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderToolbar

Enables the Build FSP, Save and Reload buttons iff a file is loaded.