public class SubstMapEntry
extends java.lang.Object
Warning: the nomenclature is odd -- "substFrom" refers to the value that will be changed *from* one thing to "substTo". For example, change the value of all "x"s from "x" to "y".
Perhaps this *should be* an inner class of VerifyProofs, but...
Example: SubstMapEntry[] subst -->
Sym substFrom: variable from proof step mandatory hypotheses Sym[] substTo: expression/variable to substitute FOR each occurrence of substFrom in the proof step's mandatory hypotheses and assertion.
Modifier and Type | Field and Description |
---|---|
Sym |
substFrom
substFrom -- a Var to be replaced by an expression or variable.
|
Sym[] |
substTo
substTo -- an expression or variable to replace substFrom.
|
Constructor and Description |
---|
SubstMapEntry()
Default Constructor.
|
SubstMapEntry(Sym substFrom,
Sym[] substTo)
Construct using substFrom and substTo.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |