rwth.i2.ltl2ba4j.formula.impl
Class Equivalent
java.lang.Object
rwth.i2.ltl2ba4j.formula.impl.BinaryFormula
rwth.i2.ltl2ba4j.formula.impl.Equivalent
- All Implemented Interfaces:
- IBinaryFormula, IEquivalent, IFormula
public class Equivalent
- extends BinaryFormula
- implements IEquivalent
- Author:
- Eric Bodden
And
Equivalent
public Equivalent(IFormula subFormula1,
IFormula subFormula2)
- Parameters:
subFormula1
- left subformulasubFormula2
- right subformula
symbol
protected String symbol()
-
- Specified by:
symbol
in class BinaryFormula
- Returns:
- the symbol for this formula constructor
Eric Bodden, RWTH Aachen University, 2005.