rwth.i2.ltl2ba4j.formula.impl
Class Or

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

public class Or
extends BinaryFormula
implements IOr

Author:
Eric Bodden And

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

Or

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