Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.formula

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

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

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

Java representation of a "[]" (sub-)formula.

Constructor Summary

Constructors

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

BoxNode

public BoxNode(FormulaNode<L,AP> node)

BoxNode

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

Method Details

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)