com.meyling.principia.logic.basic
Class ExistentialQuantifier
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
com.meyling.principia.logic.basic.ExistentialQuantifier
- All Implemented Interfaces:
- Argument, Formula
- public class ExistentialQuantifier
- extends Quantifier
Existential quantifier, logical "exists".
- Version:
- $Revision: 1.5 $
- 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, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
ExistentialQuantifier
public ExistentialQuantifier(Argument[] arguments)
throws ArgumentException
- Constructs a logical existential 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
create
public final Argument create(Argument[] arguments)
throws ArgumentException
- Description copied from interface:
Argument
- Create a new Argument with given arguments.
- Specified by:
create
in interface Argument
- Specified by:
create
in class AbstractArgumentList
- Throws:
ArgumentException
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Specified by:
toString
in class AbstractArgumentList