rwth.i2.ltlrv.formula.base
Class BinaryFormula

java.lang.Object
  rwth.i2.ltlrv.formula.base.AbstractFormula
      rwth.i2.ltlrv.formula.base.BinaryFormula

All Implemented Interfaces:

IBinaryTerm, IFormula

Direct Known Subclasses:

CommutativeBinaryFormula, Implies

public abstract class BinaryFormula
extends AbstractFormula
implements IBinaryTerm

BinaryFormula - Abstract superclass of all binary formulae.

Author:

Eric Bodden

Field Summary

protected IFormula	subformula1 the subformulae
protected IFormula	subformula2 the subformulae

Fields inherited from class rwth.i2.ltlrv.formula.base.AbstractFormula

factory

Constructor Summary

BinaryFormula(IFormula subformula1, IFormula subformula2)

Method Summary

IFormula	getSubformula1()
IFormula	getSubformula2()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula

negationNormalForm, symbol

Field Detail

subformula1

protected IFormula subformula1

the subformulae

subformula2

protected IFormula subformula2

the subformulae

Constructor Detail

BinaryFormula

public BinaryFormula(IFormula subformula1,
                     IFormula subformula2)

Parameters:

subformula1 - left subformula

subformula2 - right subformula

Method Detail

getSubformula1

public IFormula getSubformula1()

Specified by:

getSubformula1 in interface IBinaryTerm

Returns:

the left subformula or proposition

getSubformula2

public IFormula getSubformula2()

Specified by:

getSubformula2 in interface IBinaryTerm

Returns:

the right subformula or proposition

toString

public String toString()

Overrides:

toString in class Object