|
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.Quantifier
Basis class for Quantifier.
Constructor Summary | |
Quantifier(Argument[] arguments)
Constructs a logical quantifier. |
Method Summary | |
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. |
SubjectVariables |
getSubjectVariables()
Get all subject variables that occur in this formula. |
SubjectVariableMarker |
getVariable()
Get the subject variable of this quantifier. |
Methods inherited from class com.meyling.principia.logic.basic.AbstractFormula |
createPattern, replaceBoundSubjectVariable, replaceBoundSubjectVariables |
Methods inherited from class com.meyling.principia.argument.AbstractArgumentList |
copy, create, getArgument, getArgumentSize, toString |
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, create, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches, toString |
Methods inherited from interface com.meyling.principia.logic.basic.Formula |
replaceBoundSubjectVariable, replaceBoundSubjectVariables |
Constructor Detail |
public Quantifier(Argument[] arguments) throws ArgumentException
arguments
- subject variable and formula to operate on
ArgumentException
- if there are not exactly two
arguments ore the first argument is not an instance of
SubjectVariableMarker
or the second argument
is not an instance of Formula
or
the subject variable is not free in the formulaMethod Detail |
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
public 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 SubjectVariableMarker getVariable()
|
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. |