com.meyling.principia.logic.basic
Class UniversalQuantifier
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.UniversalQuantifier
- All Implemented Interfaces:
- Argument, Formula
- public class UniversalQuantifier
- extends Quantifier
Universal qualifier, logical "for all".
- 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, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
UniversalQuantifier
public UniversalQuantifier(Argument[] arguments)
throws ArgumentException
- Constructs a logical universial 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 instances 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.
- Overrides:
create
in class AbstractArgumentList
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
arguments
- with these arguments the operator should
be created- Returns:
- new constructed Argument
- Throws:
ArgumentException
- if creation failed
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Overrides:
toString
in class AbstractArgumentList
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- readable formula