|
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.AbstractArgumentList
com.meyling.principia.logic.basic.AbstractFormula
com.meyling.principia.logic.basic.PredicateVariable
Predicate variable with argument list.
Constructor Summary | |
PredicateVariable(Argument[] arguments)
Constructs a predicate variable with an argument list. |
Method Summary | |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
SubjectVariableMarker[] |
getArgument()
Get the argument. |
SubjectVariables |
getBoundSubjectVariables()
Get all bounded subject variables. |
SubjectVariables |
getFreeSubjectVariables()
Get all free subject variables. |
int |
getNumber()
Get the identity number of predicate variable. |
Formula |
getPartFormula(int i)
Get the requested part formula |
int |
getPartFormulaSize()
Get the number of part formulas that this formula contains. |
SubjectVariables |
getSubjectVariables()
Get all subject variables that occur in this formula. |
String |
toString()
Get the argument in String form. |
Methods inherited from class com.meyling.principia.logic.basic.AbstractFormula |
createPattern, replaceBoundSubjectVariable, replaceBoundSubjectVariables |
Methods inherited from class com.meyling.principia.argument.AbstractArgumentList |
copy, getArgument, getArgumentSize |
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, equals, getHighestNumber, getPatternVariables, 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.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.logic.basic.Formula |
replaceBoundSubjectVariable, replaceBoundSubjectVariables |
Constructor Detail |
public PredicateVariable(Argument[] arguments) throws ArgumentException
arguments
- identity number of predicate variable
and a list of arguments that are all an instance
of SubjectVariableMarker
ArgumentException
- if there are not
exactly two arguments or the first argument is no
instance of CounterMarker
or
the second argument is no instance of
RegularArgumentList
or
the entries of the second argument are
no instances of SubjectVariableMarker
Method Detail |
public int getNumber()
public final SubjectVariableMarker[] getArgument()
public final int getPartFormulaSize()
Formula
getPartFormulaSize
in interface Formula
getPartFormulaSize
in class AbstractFormula
public final Formula getPartFormula(int i)
Formula
getPartFormula
in interface Formula
getPartFormula
in class AbstractFormula
IllegalArgumentException
- alwayspublic final SubjectVariables getFreeSubjectVariables()
Formula
getFreeSubjectVariables
in interface Formula
getFreeSubjectVariables
in class AbstractFormula
public final SubjectVariables getBoundSubjectVariables()
Formula
getBoundSubjectVariables
in interface Formula
getBoundSubjectVariables
in class AbstractFormula
public final SubjectVariables getSubjectVariables()
Formula
getSubjectVariables
in interface Formula
getSubjectVariables
in class AbstractFormula
public final Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class AbstractArgumentList
ArgumentException
public final String toString()
Argument
String
form.
toString
in interface Argument
toString
in class AbstractArgumentList
|
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. |