|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectrwth.i2.ltl2ba4j.formula.impl.BinaryFormula
rwth.i2.ltl2ba4j.formula.impl.Release
public class Release
Field Summary |
---|
Fields inherited from class rwth.i2.ltl2ba4j.formula.impl.BinaryFormula |
---|
subformula1, subformula2 |
Constructor Summary | |
---|---|
Release(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 |
---|
public Release(IFormula subFormula1, IFormula subFormula2)
subFormula1
- left subformulasubFormula2
- right subformulaMethod Detail |
---|
protected String symbol()
symbol
in class BinaryFormula
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |