com.meyling.principia.logic.basic
Class Quantifier
java.lang.Object
|
+--com.meyling.principia.argument.AbstractArgument
|
+--com.meyling.principia.argument.AbstractArgumentList
|
+--com.meyling.principia.logic.basic.AbstractFormula
|
+--com.meyling.principia.logic.basic.Quantifier
- All Implemented Interfaces:
- Argument, Formula
- Direct Known Subclasses:
- ExistentialQuantifier, UniversalQuantifier
- public abstract class Quantifier
- extends AbstractFormula
- implements Argument, Formula
Basis class for Quantifier.
- Version:
- $Revision: 1.3 $
- Author:
- Michael Meyling
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 interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, create, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches, toString |
Quantifier
public Quantifier(Argument[] arguments)
throws ArgumentException
- Constructs a logical quantifier.
- Parameters:
arguments
- subject variable and formula to operate on- Throws:
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 formula
getPartFormulaSize
public final int getPartFormulaSize()
- Description copied from interface:
Formula
- Get the number of part formulas that this formula contains.
- Specified by:
getPartFormulaSize
in interface Formula
- Overrides:
getPartFormulaSize
in class AbstractFormula
- Returns:
- always 1
getPartFormula
public final Formula getPartFormula(int i)
- Description copied from interface:
Formula
- Get the requested part formula
- Specified by:
getPartFormula
in interface Formula
- Overrides:
getPartFormula
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Parameters:
i
- number of part formula (starting with 0
)- Returns:
i
-th part formula- Throws:
IllegalArgumentException
- if i
is not inbetween
0
and Formula.getPartFormulaSize()
- 1
getFreeSubjectVariables
public final SubjectVariables getFreeSubjectVariables()
- Description copied from interface:
Formula
- Get all free subject variables.
- Specified by:
getFreeSubjectVariables
in interface Formula
- Overrides:
getFreeSubjectVariables
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Returns:
- all free subject variables
getBoundSubjectVariables
public final SubjectVariables getBoundSubjectVariables()
- Description copied from interface:
Formula
- Get all bounded subject variables.
- Specified by:
getBoundSubjectVariables
in interface Formula
- Overrides:
getBoundSubjectVariables
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Returns:
- all bounded subject variables
getSubjectVariables
public final SubjectVariables getSubjectVariables()
- Description copied from interface:
Formula
- Get all subject variables that occur in this formula.
- Specified by:
getSubjectVariables
in interface Formula
- Overrides:
getSubjectVariables
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Returns:
- all subject variables
getVariable
public final SubjectVariableMarker getVariable()
- Get the subject variable of this quantifier.
- Returns:
- subject variable