private static class FormulaTagManager.FormulaInfo
extends java.lang.Object
PosInOccurrence
) as well as a list of the modifications
that have been applied to the formula so far. Instances of this class
are immutableModifier and Type | Field and Description |
---|---|
long |
age
The age (as obtained by
Goal.getTime() ) of the formula,
i.e. the time when the formula was introduced resp. when the last
modification was applied to the formula |
ImmutableList<FormulaChangeInfo> |
modifications
All modifications that have been applied to the formula
since the creation of the tag.
|
PosInOccurrence |
pio |
Modifier | Constructor and Description |
---|---|
private |
FormulaInfo(PosInOccurrence p_pio,
ImmutableList<FormulaChangeInfo> p_modifications,
long p_age) |
|
FormulaInfo(PosInOccurrence p_pio,
long p_age) |
Modifier and Type | Method and Description |
---|---|
FormulaTagManager.FormulaInfo |
addModification(FormulaChangeInfo p_info,
Sequent p_newSeq,
long p_age) |
java.lang.String |
toString() |
public final PosInOccurrence pio
public final ImmutableList<FormulaChangeInfo> modifications
public final long age
Goal.getTime()
) of the formula,
i.e. the time when the formula was introduced resp. when the last
modification was applied to the formulapublic FormulaInfo(PosInOccurrence p_pio, long p_age)
private FormulaInfo(PosInOccurrence p_pio, ImmutableList<FormulaChangeInfo> p_modifications, long p_age)
public java.lang.String toString()
toString
in class java.lang.Object
public FormulaTagManager.FormulaInfo addModification(FormulaChangeInfo p_info, Sequent p_newSeq, long p_age)