Package net.automatalib.modelchecker.m3c.formula

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 type

AP - 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

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

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

print

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

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractFormulaNode<L,AP>

printUnaryFormulaNode

protected void printUnaryFormulaNode(Appendable a,
                                     String operator)
                              throws IOException

Throws:

IOException