rwth.i2.ltl2ba4j.formula.impl
Class Finally
java.lang.Object
rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
rwth.i2.ltl2ba4j.formula.impl.Finally
- All Implemented Interfaces:
- IFinally, IFormula, IUnaryFormula
public class Finally
- extends UnaryFormula
- implements IFinally
- Author:
- Eric Bodden
And
Finally
public Finally(IFormula subFormula)
- Parameters:
subFormula
- the subformula
symbol
protected String symbol()
-
- Specified by:
symbol
in class UnaryFormula
- Returns:
- the symbol for this formula constructor
Eric Bodden, RWTH Aachen University, 2005.