Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.