Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariable |
Formula |
Formula.replaceBoundSubjectVariable(Enumerator counter,
int occurrence,
SubjectVariable search,
SubjectVariable replacement)
Replace the occurrence -th occurence of a bound
SubjectVariable by another one. |
Formula |
BasicFormulaPatternVariable.replaceBoundSubjectVariable(Enumerator counter,
int occurance,
SubjectVariable search,
SubjectVariable replacement)
|
Formula |
BasicPredicateVariablePatternVariable.replaceBoundSubjectVariable(Enumerator counter,
int occurance,
SubjectVariable search,
SubjectVariable replacement)
|
Formula |
AbstractFormula.replaceBoundSubjectVariable(Enumerator counter,
int occurance,
SubjectVariable search,
SubjectVariable replacement)
|