NNFVisitor (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.modelchecker.m3c.formula.visitor.NNFVisitor<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type
```
public class NNFVisitor<L,AP>
extends Object
```
A visitor that transforms a given mu-calculus or CTL formula to negation-normal-form.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  NNFVisitor()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  FormulaNode<L,AP> transformToNNF(FormulaNode<L,AP> node)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- NNFVisitor
```
public NNFVisitor()
```

Method Detail

transformToNNF

public FormulaNode<L,AP> transformToNNF(FormulaNode<L,AP> node)