| java.lang.Object de.uka.ilkd.key.proof.FormulaTagManager
FormulaTagManager | public class FormulaTagManager (Code) | | Class to manage the tags of the formulas of a sequent (node). Instances of
this class are stored by instances of the Goal class, and are
not immutable
|
FormulaTagManager | FormulaTagManager(Goal p_goal)(Code) | | Create a new manager that is initialised with the formulas of the given
sequent
|
getAgeForTag | public long getAgeForTag(FormulaTag p_tag)(Code) | | The age (as obtained by Goal.getTime() ) of theformula, i.e. the time when the formula was introduced resp. whenthe last modification was applied to the formula. If no formulais assigned to the given tag, 0 is returned |
getModifications | public ListOfFormulaChangeInfo getModifications(FormulaTag p_tag)(Code) | | All modifications that were applied to the formulawith the given tag since the creation of the tag, starting with themost recent one |
getPosForTag | public PosInOccurrence getPosForTag(FormulaTag p_tag)(Code) | | The current position of the formula with the given tag; thesequent attribute of the returned PosInOccurrence canbe obsolete and refer to a previous node. If no formula is assigned tothe given tag, null is returned |
|
|