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