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.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 |
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.
- 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