rwth.i2.ltl2ba4j.formula.impl
Class Implies

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

public class Implies
extends BinaryFormula
implements IImplies

Author:
Eric Bodden And

Field Summary
 
Fields inherited from class rwth.i2.ltl2ba4j.formula.impl.BinaryFormula
subformula1, subformula2
 
Constructor Summary
Implies(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

Implies

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