com.meyling.principia.logic.basic
Class Equivalence

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

All Implemented Interfaces:

Argument, Formula

public class Equivalence

extends LogicalOperatorWithTwoFormulas

Equivalence of formulas. Implementation of the locigal "iff".

Version:

$Revision 0.00.50$

Author:

Michael Meyling

Fields inherited from class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

formula1, formula2

Fields inherited from class com.meyling.principia.argument.AbstractArgumentList

arguments

Constructor Summary

Equivalence(Argument[] arguments)
Constructs a logical equivalence.

Equivalence(Formula formula1, Formula formula2)
Constructs a logical equivalence.

Method Summary

Argument	create(Argument[] arguments) Create a new Argument with given arguments.
String	toString() Get the argument in String form.

Methods inherited from class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

getBoundSubjectVariables, getFreeSubjectVariables, getPartFormula, getPartFormulaSize, getSubjectVariables

Methods inherited from class com.meyling.principia.logic.basic.AbstractFormula

createPattern, createPattern, replaceBoundSubjectVariable, replaceBoundSubjectVariables

Methods inherited from class com.meyling.principia.argument.AbstractArgumentList

copy, getArgument, getArgumentSize

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 class java.lang.Object

, clone, finalize, getClass, notify, notifyAll, registerNatives, wait, wait, wait

Methods inherited from interface com.meyling.principia.argument.Argument

containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches

Methods inherited from interface com.meyling.principia.logic.basic.Formula

replaceBoundSubjectVariable, replaceBoundSubjectVariables

Constructor Detail

Equivalence

public Equivalence(Argument[] arguments)
            throws ArgumentException

Constructs a logical equivalence.

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

Equivalence

public Equivalence(Formula formula1,
                   Formula formula2)
            throws ArgumentException

Constructs a logical equivalence.

Parameters:

formula1 - first formula

formula2 - second formula

Throws:

ArgumentException - if the is a subject variable that would exist bound and unbound in the resulting formula

Method Detail

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