|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SubjectVariable | |
com.meyling.principia.logic.basic |
Uses of SubjectVariable in com.meyling.principia.logic.basic |
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)
|
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |