Package net.automatalib.modelchecker.m3c.formula

Class AtomicNode<L,AP>

java.lang.Object

net.automatalib.common.util.string.AbstractPrintable

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

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

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

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

Java representation of an "atomic proposition" (sub-)formula.

Constructor Summary

Constructors

Constructor	Description
AtomicNode(AP proposition)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(FormulaNodeVisitor<T,L,AP> visitor)
boolean	equals(@Nullable Object o)
AP	getProposition()
int	hashCode()
void	print(Appendable a)

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

AtomicNode

public AtomicNode(AP proposition)

Method Detail

getProposition

public AP getProposition()

print

public void print(Appendable a)
           throws IOException

Throws:

IOException

accept

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

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractFormulaNode<L,AP>

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class AbstractFormulaNode<L,AP>