com.meyling.principia.logic.basic
Class Implication
java.lang.Object
com.meyling.principia.argument.AbstractArgument
com.meyling.principia.argument.AbstractArgumentList
com.meyling.principia.logic.basic.AbstractFormula
com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
com.meyling.principia.logic.basic.Implication
- All Implemented Interfaces:
- Argument, Formula
- public class Implication
- extends LogicalOperatorWithTwoFormulas
Implication of formulas. Implementation of the locigal "if".
- Version:
- $Revision: 1.6 $
- 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 |
Implication
public Implication(Argument[] arguments)
throws ArgumentException
- Constructs a logical implication.
- Parameters:
arguments
- formulas to operate on
- Throws:
ArgumentException
- if there are not exactly two
arguments that are instances of Formula
or
if the is a subject variable that would exist
bound and unbound in the resulting formula
Implication
public Implication(Formula formula1,
Formula formula2)
throws ArgumentException
- Constructs a logical implication.
- Parameters:
formula1
- first formulaformula2
- second formula
- Throws:
ArgumentException
- if the is a subject variable
that would exist bound and unbound in the resulting 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