rwth.i2.ltl2ba4j.formula.impl
Class Until

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.BinaryFormula
      extended by rwth.i2.ltl2ba4j.formula.impl.Until
All Implemented Interfaces:
IBinaryFormula, IFormula, IUntil

public class Until
extends BinaryFormula
implements IUntil

Author:
Eric Bodden And

Field Summary
 
Fields inherited from class rwth.i2.ltl2ba4j.formula.impl.BinaryFormula
subformula1, subformula2
 
Constructor Summary
Until(IFormula subFormula1, IFormula subFormula2)
           
 
Method Summary
protected  String symbol()
          
 
Methods inherited from class rwth.i2.ltl2ba4j.formula.impl.BinaryFormula
equals, getSubformula1, getSubformula2, 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.IBinaryFormula
getSubformula1, getSubformula2
 

Constructor Detail

Until

public Until(IFormula subFormula1,
             IFormula subFormula2)
Parameters:
subFormula1 - left subformula
subFormula2 - right subformula
Method Detail

symbol

protected String symbol()

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


Eric Bodden, RWTH Aachen University, 2005.