Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.formula.modalmu

Class AbstractFixedPointFormulaNode<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.modalmu.AbstractFixedPointFormulaNode<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

Direct Known Subclasses:

GfpNode, LfpNode

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

Abstract super-class for fix-point (sub-) formulas.

Constructor Summary

Constructors

Constructor	Description
AbstractFixedPointFormulaNode(String variable, FormulaNode<L,AP> child)

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object o)
String	getVariable()
int	hashCode()
protected void	printMuCalcNode(Appendable a, String fixedPoint)

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

AbstractFixedPointFormulaNode

public AbstractFixedPointFormulaNode(String variable,
                                     FormulaNode<L,AP> child)

Method Detail

getVariable

public String getVariable()

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,
                               String fixedPoint)
                        throws IOException

Throws:

IOException