Hilbert II - 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 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

©left GNU General Public Licence
All Rights Reserved.