|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.argument.AbstractArgument
com.meyling.principia.argument.PatternVariable
com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
Pattern variable, for matching purposes.
Constructor Summary | |
BasicSubjectVariablePatternVariable(Argument[] arguments)
Constructs a pattern variable. |
|
BasicSubjectVariablePatternVariable(int number)
Constructs a pattern variable. |
Method Summary | |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
PatternVariables |
getPatternVariables()
Get all pattern variables that occur in this argument. |
boolean |
isMatching(Argument argument)
Is the argument matching the pattern variable? |
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 |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface com.meyling.principia.logic.basic.SubjectVariableMarker |
getNumber |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Constructor Detail |
public BasicSubjectVariablePatternVariable(Argument[] arguments) throws ArgumentException
arguments
- first argument is number of this pattern
variable
ArgumentException
- if there is not exactly one
argument that is an instance of Counter
public BasicSubjectVariablePatternVariable(int number) throws ArgumentException
number
- of this pattern variable
ArgumentException
- if there couldn't be made a
Counter
out of number
Method Detail |
public final PatternVariables getPatternVariables()
Argument
getPatternVariables
in interface Argument
getPatternVariables
in class AbstractArgument
public boolean isMatching(Argument argument)
isMatching
in class PatternVariable
argument
- argument to match pattern variable
true
public final Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class PatternVariable
ArgumentException
public final String toString()
Argument
String
form.
toString
in interface Argument
toString
in class PatternVariable
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |