|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.meyling.principia.argument.AbstractArgument | +--com.meyling.principia.argument.PatternVariable | +--com.meyling.principia.logic.basic.BasicPatternVariable | +--com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
Pattern variable, for matching purposes.
Constructor Summary | |
BasicPredicateVariablePatternVariable(Argument[] arguments)
Constructs a pattern variable. |
Method Summary | |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
SubjectVariables |
getBoundSubjectVariables()
Get all bounded subject variables. |
SubjectVariables |
getFreeSubjectVariables()
Get all free subject variables. |
Formula |
getPartFormula(int i)
Get the requested part formula |
int |
getPartFormulaSize()
Get the number of part formulas that this formula contains. |
PatternVariables |
getPatternVariables()
Get all pattern variables that occur in this argument. |
SubjectVariables |
getSubjectVariables()
Get all subject variables that occur in this formula. |
boolean |
isMatching(Argument argument)
Is the argument matching the pattern variable? |
Formula |
replaceBoundSubjectVariable(Enumerator counter,
int occurance,
SubjectVariable search,
SubjectVariable replacement)
Replace the occurrence -th occurence of a bound
SubjectVariable by another one. |
Formula |
replaceBoundSubjectVariables(Enumerator counter)
Replace every bound SubjectVariable by a BasicSubjectVariablePatternVariable |
String |
toString()
Get the argument in String form. |
Methods inherited from class com.meyling.principia.argument.PatternVariable |
compareTo, containsPatternVariables, copy, getArgument, getArgumentSize, getContent, getNumber, setContent |
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
equals, getHighestNumber, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from class java.lang.Object |
|
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.argument.CounterMarker |
getNumber |
Constructor Detail |
public BasicPredicateVariablePatternVariable(Argument[] arguments) throws ArgumentException
arguments
- first argument is number of this pattern
variableArgumentException
- if there is not exactly one
argument that is an instance of Counter
Method Detail |
public final int getPartFormulaSize()
Formula
getPartFormulaSize
in interface Formula
public final Formula getPartFormula(int i) throws IllegalArgumentException
Formula
getPartFormula
in interface Formula
com.meyling.principia.logic.basic.Formula
i
- number of part formula (starting with 0
)i
-th part formulaIllegalArgumentException
- if i
is not inbetween
0
and Formula.getPartFormulaSize()
- 1
public final SubjectVariables getFreeSubjectVariables()
Formula
getFreeSubjectVariables
in interface Formula
com.meyling.principia.logic.basic.Formula
public final SubjectVariables getBoundSubjectVariables()
Formula
getBoundSubjectVariables
in interface Formula
com.meyling.principia.logic.basic.Formula
public final SubjectVariables getSubjectVariables()
Formula
getSubjectVariables
in interface Formula
com.meyling.principia.logic.basic.Formula
public final PatternVariables getPatternVariables()
Argument
getPatternVariables
in interface Argument
getPatternVariables
in class AbstractArgument
com.meyling.principia.argument.Argument
public boolean isMatching(Argument argument)
isMatching
in class PatternVariable
argument
- argument to match pattern variabletrue
public final Formula replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement)
Formula
occurrence
-th occurence of a bound
SubjectVariable
by another one.replaceBoundSubjectVariable
in interface Formula
com.meyling.principia.logic.basic.Formula
counter
- number of matches so faroccurrence
- number of matches to act onsearch
- subject variable to look forreplacement
- replacement subject variableArgumentException
- if creating replacement failedpublic final Formula replaceBoundSubjectVariables(Enumerator counter)
Formula
replaceBoundSubjectVariables
in interface Formula
com.meyling.principia.logic.basic.Formula
counter
- contains starting number for
replacement pattern variable, is increased
after one complete replacementArgumentException
- public final Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class BasicPatternVariable
com.meyling.principia.argument.Argument
arguments
- with these arguments the operator should
be createdArgumentException
- if creation failedpublic String toString()
Argument
String
form.toString
in interface Argument
toString
in class BasicPatternVariable
com.meyling.principia.argument.Argument
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |