Class AbstractUnaryFormulaNode<L,AP>
- java.lang.Object
-
- net.automatalib.common.util.string.AbstractPrintable
-
- net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode<L,AP>
-
- net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode<L,AP>
-
- Type Parameters:
L
- label typeAP
- atomic proposition type
- All Implemented Interfaces:
Printable
,FormulaNode<L,AP>
- Direct Known Subclasses:
AbstractFixedPointFormulaNode
,AbstractModalFormulaNode
,AFNode
,AGNode
,EFNode
,EGNode
,NotNode
public abstract class AbstractUnaryFormulaNode<L,AP> extends AbstractFormulaNode<L,AP>
Abstract super-class for unary (sub-) formulas.
-
-
Constructor Summary
Constructors Constructor Description AbstractUnaryFormulaNode(FormulaNode<L,AP> child)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
FormulaNode<L,AP>
getChild()
int
getVarNumberChild()
int
hashCode()
protected void
printUnaryFormulaNode(Appendable a, String operator)
-
Methods inherited from class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
getVarNumber, setVarNumber
-
Methods inherited from class net.automatalib.common.util.string.AbstractPrintable
toString
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface net.automatalib.modelchecker.m3c.formula.FormulaNode
accept, toNNF
-
-
-
-
Constructor Detail
-
AbstractUnaryFormulaNode
public AbstractUnaryFormulaNode(FormulaNode<L,AP> child)
-
-
Method Detail
-
getChild
public FormulaNode<L,AP> getChild()
-
getVarNumberChild
public int getVarNumberChild()
-
equals
public boolean equals(@Nullable Object o)
- Overrides:
equals
in classAbstractFormulaNode<L,AP>
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classAbstractFormulaNode<L,AP>
-
printUnaryFormulaNode
protected void printUnaryFormulaNode(Appendable a, String operator) throws IOException
- Throws:
IOException
-
-