rwth.i2.ltl2ba4j.formula.impl
Class Globally
java.lang.Object
rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
rwth.i2.ltl2ba4j.formula.impl.Globally
- All Implemented Interfaces:
- IFormula, IGlobally, IUnaryFormula
public class Globally
- extends UnaryFormula
- implements IGlobally
- Author:
- Eric Bodden
And
Globally
public Globally(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.