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

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
```
public class CTLToMuCalc<L,AP>
extends Object
implements FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
```
A visitor that transforms a given CTL formula to an equivalent mu-calculus formula.

Constructor Summary

Constructors
Constructor Description

CTLToMuCalc()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`FormulaNode<L,AP>`	`toMuCalc(FormulaNode<L,AP> ctlFormula)`
`FormulaNode<L,AP>`	`visit(AndNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(AtomicNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(BoxNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(AFNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(AGNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(AUNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(AWUNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(EFNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(EGNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(EUNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(EWUNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(DiamondNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(FalseNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(FormulaNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(GfpNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(LfpNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(VariableNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(NotNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(OrNode<L,AP> node)`
`FormulaNode<L,AP>`	`visit(TrueNode<L,AP> node)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CTLToMuCalc
```
public CTLToMuCalc()
```
- Method Detail
  - toMuCalc
```
public FormulaNode<L,AP> toMuCalc(FormulaNode<L,AP> ctlFormula)
```
  - visit
```
public FormulaNode<L,AP> visit(FormulaNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(AFNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(AGNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(AUNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(AWUNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(EFNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(EGNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(EUNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(EWUNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(AndNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(AtomicNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(BoxNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(DiamondNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(FalseNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(NotNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(OrNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(TrueNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(GfpNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(LfpNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>
  - visit
```
public FormulaNode<L,AP> visit(VariableNode<L,AP> node)
```
    Specified by:
    
    visit in interface FormulaNodeVisitor<FormulaNode<L,AP>,L,AP>

Class CTLToMuCalc<L,​AP>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

CTLToMuCalc

Method Detail

toMuCalc

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

Class CTLToMuCalc<L,AP>