PMII - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.basic.SubjectVariable

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 AbstractFormula.replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement)
           
 Formula Formula.replaceBoundSubjectVariable(Enumerator counter, int occurrence, SubjectVariable search, SubjectVariable replacement)
          Replace the occurrence-th occurence of a bound SubjectVariable by another one.
 Formula BasicPredicateVariablePatternVariable.replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement)
           
 Formula BasicFormulaPatternVariable.replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement)
           
 


PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.