EFNode (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.common.util.string.AbstractPrintable
- - net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode<L,AP>
  - - net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode<L,AP>
    - - net.automatalib.modelchecker.m3c.formula.ctl.EFNode<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>
```
public class EFNode<L,AP>
extends AbstractUnaryFormulaNode<L,AP>
```
Java representation of a "EF" (sub-)formula.

Constructor Summary

Constructors
Constructor Description

EFNode(FormulaNode<L,AP> node)

Method Summary

All Methods Instance Methods Concrete Methods
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.AbstractUnaryFormulaNode
equals, getChild, getVarNumberChild, hashCode, printUnaryFormulaNode

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
  - EFNode
```
public EFNode(FormulaNode<L,AP> node)
```
- Method Detail
  - 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)
```