Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.argument.Enumerator

Packages that use Enumerator
com.meyling.principia.argument   
com.meyling.principia.logic.basic   
 

Uses of Enumerator in com.meyling.principia.argument
 

Methods in com.meyling.principia.argument with parameters of type Enumerator
 Argument Argument.replace(Enumerator counter, int occurrence, Argument searchPattern, Argument replacePattern)
          Replace the occurrence-th occurence of searchPattern with replacePattern.
 void Argument.getSearchParents(Enumerator counter, int occurence, Argument searchPattern)
          Get a children parents list for the occurrence-th occurence of searchPattern.
 void Argument.getReplacementParents(Enumerator counter, int occurence, Argument searchPattern, Argument replacementPattern)
          Get a children parents list for the occurrence-th occurence of searchPattern replaced by replacementPattern.
 Argument AbstractArgument.replace(Enumerator counter, int occurance, Argument searchPattern, Argument replacePattern)
           
 void AbstractArgument.getSearchParents(Enumerator counter, int occurance, Argument searchPattern)
           
 void AbstractArgument.getReplacementParents(Enumerator counter, int occurance, Argument searchPattern, Argument replacePattern)
           
 

Uses of Enumerator in com.meyling.principia.logic.basic
 

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


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.