FormulaNode (AutomataLib 0.11.0 API)

Type Parameters:

L - label type

AP - atomic proposition type

All Superinterfaces:

Printable

All Known Implementing Classes:

AbstractBinaryFormulaNode, AbstractFixedPointFormulaNode, AbstractFormulaNode, AbstractModalFormulaNode, AbstractUnaryFormulaNode, AFNode, AGNode, AndNode, AtomicNode, AUNode, AWUNode, BoxNode, DiamondNode, EFNode, EGNode, EUNode, EWUNode, FalseNode, GfpNode, LfpNode, NotNode, OrNode, TrueNode, VariableNode
```
public interface FormulaNode<L,AP>
extends Printable
```
Generic interface for formulas return by M3CParsers.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`<T> T`	`accept(FormulaNodeVisitor<T,L,AP> visitor)`
`int`	`getVarNumber()`
`void`	`setVarNumber(int varNumber)`
`default FormulaNode<L,AP>`	`toNNF()`

Methods inherited from interface net.automatalib.common.util.string.Printable
print

Method Detail

accept

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

toNNF
```
default FormulaNode<L,AP> toNNF()
```

getVarNumber
```
int getVarNumber()
```

setVarNumber
```
void setVarNumber(int varNumber)
```