|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectrwth.i2.ltl2ba4j.formula.impl.UnaryFormula
rwth.i2.ltl2ba4j.formula.impl.Not
public class Not
Field Summary |
---|
Fields inherited from class rwth.i2.ltl2ba4j.formula.impl.UnaryFormula |
---|
subformula |
Constructor Summary | |
---|---|
Not(IFormula subFormula)
|
Method Summary | |
---|---|
protected String |
symbol()
|
Methods inherited from class rwth.i2.ltl2ba4j.formula.impl.UnaryFormula |
---|
equals, getSubformula, 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.IUnaryFormula |
---|
getSubformula |
Constructor Detail |
---|
public Not(IFormula subFormula)
subFormula
- the subformulaMethod Detail |
---|
protected String symbol()
symbol
in class UnaryFormula
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |