private static class OneStepSimplifier.TermReplacementKey extends 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 |
---|
OneStepSimplifier.TermReplacementKey(Term term)
Constructor.
|