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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
factory
protected static final IFormulaFactory factory
- Reference to the formula factory. For convenience.
AbstractFormula
public AbstractFormula()