private static class OneStepSimplifier.TermReplacementKey
extends java.lang.Object
Map
of
OneStepSimplifier#replaceKnown(TermServices, SequentFormula, Map, List, Protocol)
to forece the same behavior as in Taclet rules where
names of logical variables and TermLabel
s are ignored.Modifier and Type | Field and Description |
---|---|
private Term |
term
The
Term to represent. |
Constructor and Description |
---|
TermReplacementKey(Term term)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |