Package net.automatalib.modelchecker.m3c.formula

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 type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

Direct Known Subclasses:

AndNode, AUNode, AWUNode, EUNode, EWUNode, OrNode

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

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

Methods inherited from interface net.automatalib.common.util.string.Printable

print

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 class AbstractFormulaNode<L,AP>

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractFormulaNode<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