Class AbstractBinaryFormulaNode<L,AP>
- java.lang.Object
-
- net.automatalib.common.util.string.AbstractPrintable
-
- net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode<L,AP>
-
- net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode<L,AP>
-
- Type Parameters:
L
- label typeAP
- atomic proposition type
- All Implemented Interfaces:
Printable
,FormulaNode<L,AP>
public abstract class AbstractBinaryFormulaNode<L,AP> extends AbstractFormulaNode<L,AP>
Abstract super-class for binary (sub-) formulas.
-
-
Constructor Summary
Constructors Constructor Description AbstractBinaryFormulaNode(FormulaNode<L,AP> leftChild, FormulaNode<L,AP> rightChild)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
FormulaNode<L,AP>
getLeftChild()
FormulaNode<L,AP>
getRightChild()
int
getVarNumberLeft()
int
getVarNumberRight()
int
hashCode()
protected void
printBinaryFormulaNode(Appendable a, String operator)
protected void
printUntilNode(Appendable a, char quantifier, char weakOrStrong)
-
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
-
AbstractBinaryFormulaNode
public AbstractBinaryFormulaNode(FormulaNode<L,AP> leftChild, FormulaNode<L,AP> rightChild)
-
-
Method Detail
-
getRightChild
public FormulaNode<L,AP> getRightChild()
-
getVarNumberRight
public int getVarNumberRight()
-
getLeftChild
public FormulaNode<L,AP> getLeftChild()
-
getVarNumberLeft
public int getVarNumberLeft()
-
equals
public boolean equals(@Nullable Object o)
- Overrides:
equals
in classAbstractFormulaNode<L,AP>
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classAbstractFormulaNode<L,AP>
-
printBinaryFormulaNode
protected void printBinaryFormulaNode(Appendable a, String operator) throws IOException
- Throws:
IOException
-
printUntilNode
protected void printUntilNode(Appendable a, char quantifier, char weakOrStrong) throws IOException
- Throws:
IOException
-
-