rwth.i2.ltl2ba4j.formula.impl
Class Next

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

public class Next
extends UnaryFormula
implements INext

Author:
Eric Bodden And

Field Summary
 
Fields inherited from class rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
subformula
 
Constructor Summary
Next(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

Next

public Next(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.