Package net.automatalib.modelchecker.m3c.formula

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

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

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

public class DiamondNode<L,AP>
extends AbstractModalFormulaNode<L,AP>

Java representation of a "<>" (sub-)formula.

Constructor Summary

Constructors

Constructor	Description
DiamondNode(@Nullable L action, FormulaNode<L,AP> node)
DiamondNode(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.AbstractModalFormulaNode

equals, getAction, 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

DiamondNode

public DiamondNode(FormulaNode<L,AP> node)

DiamondNode

public DiamondNode(@Nullable L action,
                   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)