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

java.lang.Object
  edu.williams.cs.ljil.finitizer.Actionable
      edu.williams.cs.ljil.finitizer.actions.ResolutionAction
          edu.williams.cs.ljil.finitizer.actions.recursion.EliminateRecursionAction

public class EliminateRecursionAction
extends ResolutionAction

Field Summary

protected boolean

applied

Constructor Summary

EliminateRecursionAction(FSPBuilder fspb, edu.williams.cs.ljil.fsp.StepRef sr)

Method Summary

java.lang.String

getDescription() One-line description

Methods inherited from class edu.williams.cs.ljil.finitizer.actions.ResolutionAction

apply, ensureApplied, ensureUnapplied, isApplied, toString, unapply

Methods inherited from class edu.williams.cs.ljil.finitizer.Actionable

addStateListener, addStateListenerRecursively, addSubAction, fireStateChanged, getParent, getSubActionAt, getSubActionCount, getSubActions, indexOf, isLeaf, isResolved, removeStateListener, setParent, unapplyAllSubActions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

applied

protected boolean applied

Constructor Detail

EliminateRecursionAction

public EliminateRecursionAction(FSPBuilder fspb,
                                edu.williams.cs.ljil.fsp.StepRef sr)

Method Detail

getDescription

public java.lang.String getDescription()

Description copied from class: ResolutionAction

One-line description

Specified by:

getDescription in class ResolutionAction