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

E

edu.williams.cs.ljil.finitizer - package edu.williams.cs.ljil.finitizer

edu.williams.cs.ljil.finitizer.actions - package edu.williams.cs.ljil.finitizer.actions

edu.williams.cs.ljil.finitizer.actions.recursion - package edu.williams.cs.ljil.finitizer.actions.recursion

edu.williams.cs.ljil.finitizer.actions.recursion.util - package edu.williams.cs.ljil.finitizer.actions.recursion.util

edu.williams.cs.ljil.finitizer.issues - package edu.williams.cs.ljil.finitizer.issues

edu.williams.cs.ljil.finitizer.ui - package edu.williams.cs.ljil.finitizer.ui

edu.williams.cs.ljil.helpers - package edu.williams.cs.ljil.helpers

edu.williams.cs.ljil.introspector - package edu.williams.cs.ljil.introspector

EliminateRecursionAction - Class in edu.williams.cs.ljil.finitizer.actions.recursion

EliminateRecursionAction(FSPBuilder, StepRef) - Constructor for class edu.williams.cs.ljil.finitizer.actions.recursion.EliminateRecursionAction

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

ensure this action is applied

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

Ensure the action has been applied

ensureApplied() - Method in class edu.williams.cs.ljil.finitizer.issues.Issue

Does nothing for issues since they cannot be applied.

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

ensure this action is undone

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

Ensure the action has been applied

ensureUnapplied() - Method in class edu.williams.cs.ljil.finitizer.issues.Issue

Does nothing for issues since they cannot be applied.

errIcon - Static variable in class edu.williams.cs.ljil.finitizer.ui.IssuesListPane

The icon to display for unresolved issues.

errItemBorder - Static variable in class edu.williams.cs.ljil.finitizer.ui.IssuesListPane

The border around an error item.

errTitleFont - Static variable in class edu.williams.cs.ljil.finitizer.ui.IssuesListPane

The font used to display an issue in.