rwth.i2.ltl2ba4j.formula.impl
Class Globally

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
      extended by rwth.i2.ltl2ba4j.formula.impl.Globally
All Implemented Interfaces:
IFormula, IGlobally, IUnaryFormula

public class Globally
extends UnaryFormula
implements IGlobally

Author:
Eric Bodden And

Field Summary
 
Fields inherited from class rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
subformula
 
Constructor Summary
Globally(IFormula subFormula)
           
 
Method Summary
protected  String symbol()
          
 
Methods inherited from class rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
equals, getSubformula, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface rwth.i2.ltl2ba4j.formula.IUnaryFormula
getSubformula
 

Constructor Detail

Globally

public Globally(IFormula subFormula)
Parameters:
subFormula - the subformula
Method Detail

symbol

protected String symbol()

Specified by:
symbol in class UnaryFormula
Returns:
the symbol for this formula constructor


Eric Bodden, RWTH Aachen University, 2005.