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

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

net.automatalib.modelchecker.m3c.formula.modalmu.LfpNode<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

public class LfpNode<L,AP>
extends AbstractFixedPointFormulaNode<L,AP>

Java representation of a "mu" (sub-)formula.

Constructor Summary

Constructors

Constructor	Description
LfpNode(String variable, FormulaNode<L,AP> node)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(FormulaNodeVisitor<T,L,AP> visitor)
void	print(Appendable a)	Outputs the current object.

Methods inherited from class net.automatalib.modelchecker.m3c.formula.modalmu.AbstractFixedPointFormulaNode

equals, getVariable, hashCode, printMuCalcNode

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

toNNF

Constructor Detail

LfpNode

public LfpNode(String variable,
               FormulaNode<L,AP> node)

Method Detail

print

public void print(Appendable a)
           throws IOException

Description copied from interface: Printable

Outputs the current object.

Parameters:

a - the appendable.

Throws:

IOException - if an error occurs during appending.

accept

public <T> T accept(FormulaNodeVisitor<T,L,AP> visitor)