Package net.automatalib.modelchecker.m3c.formula

Class AbstractModalFormulaNode<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>

net.automatalib.modelchecker.m3c.formula.AbstractModalFormulaNode<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

Direct Known Subclasses:

BoxNode, DiamondNode

public abstract class AbstractModalFormulaNode<L,AP>
extends AbstractUnaryFormulaNode<L,AP>

Abstract super-class for modal (sub-) formulas.

Constructor Summary

Constructors

Constructor	Description
AbstractModalFormulaNode(@Nullable L action, FormulaNode<L,AP> node)

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object o)
@Nullable L	getAction()
int	hashCode()
protected void	printMuCalcNode(Appendable a, char leftModalitySymbol, char rightModalitySymbol)

Methods inherited from class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode

getChild, getVarNumberChild, printUnaryFormulaNode

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

AbstractModalFormulaNode

public AbstractModalFormulaNode(@Nullable L action,
                                FormulaNode<L,AP> node)

Method Detail

getAction

public @Nullable L getAction()

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractUnaryFormulaNode<L,AP>

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class AbstractUnaryFormulaNode<L,AP>

printMuCalcNode

protected void printMuCalcNode(Appendable a,
                               char leftModalitySymbol,
                               char rightModalitySymbol)
                        throws IOException

Throws:

IOException