rwth.i2.ltlrv.formula.base
Class AbstractFormula

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

All Implemented Interfaces:

IFormula

Direct Known Subclasses:

AbstractAFAState, BinaryFormula, UnaryFormula

public abstract class AbstractFormula
extends Object
implements IFormula

AbstractFormula - abstract superclass of all formulae.

Author:

Eric Bodden

Field Summary

protected static IFormulaFactory

factory Reference to the formula factory.

Constructor Summary

AbstractFormula()

Method Summary

Methods inherited from class java.lang.Object

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

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

negationNormalForm, symbol

Field Detail

factory

protected static final IFormulaFactory factory

Reference to the formula factory. For convenience.

Constructor Detail

AbstractFormula

public AbstractFormula()