Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.formula

Class FalseNode<L,AP>

java.lang.Object

net.automatalib.common.util.string.AbstractPrintable

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

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

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

public class FalseNode<L,AP>
extends AbstractFormulaNode<L,AP>

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

Constructor Summary

Constructors

Constructor	Description
FalseNode()

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.AbstractFormulaNode

equals, getVarNumber, hashCode, 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

FalseNode

public FalseNode()

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)