com.meyling.principia.logic.basic
Class Disjunction

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

All Implemented Interfaces:

Argument, Formula

public class Disjunction

extends LogicalOperatorWithTwoFormulas

Disjunction of formulas. Implementation of the locigal "or".

Version:

$Revision: 1.6 $

Author:

Michael Meyling

Constructor Summary

Disjunction(Argument[] arguments)
Constructs a logical disjunction.

Disjunction(Formula formula1, Formula formula2)
Constructs a logical disjunction.

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

Disjunction

public Disjunction(Argument[] arguments)
            throws ArgumentException

Constructs a logical disjunction.

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

Disjunction

public Disjunction(Formula formula1,
                   Formula formula2)
            throws ArgumentException

Constructs a logical disjunction.

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.

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