public class FormulaTagManager
extends java.lang.Object
Goal
class, and are
not immutableModifier and Type | Method and Description |
---|---|
java.lang.Object |
clone() |
FormulaTagManager |
copy() |
long |
getAgeForTag(FormulaTag p_tag) |
ImmutableList<FormulaChangeInfo> |
getModifications(FormulaTag p_tag) |
PosInOccurrence |
getPosForTag(FormulaTag p_tag) |
FormulaTag |
getTagForPos(PosInOccurrence p_pio) |
void |
sequentChanged(Goal source,
SequentChangeInfo sci) |
public FormulaTag getTagForPos(PosInOccurrence p_pio)
public PosInOccurrence getPosForTag(FormulaTag p_tag)
PosInOccurrence
can
be obsolete and refer to a previous node. If no formula is assigned to
the given tag, null
is returnedpublic long getAgeForTag(FormulaTag p_tag)
Goal.getTime()
) of the
formula, i.e. the time when the formula was introduced resp. when
the last modification was applied to the formula. If no formula
is assigned to the given tag, 0
is returnedpublic ImmutableList<FormulaChangeInfo> getModifications(FormulaTag p_tag)
public void sequentChanged(Goal source, SequentChangeInfo sci)
public java.lang.Object clone()
clone
in class java.lang.Object
public FormulaTagManager copy()
Copyright © 2003-2019 The KeY-Project.