UnabbreviateVisitor (owl 21.0 API)

java.lang.Object
- owl.ltl.visitors.Converter
- - owl.ltl.visitors.UnabbreviateVisitor

All Implemented Interfaces:

Function<Formula,Formula>, UnaryOperator<Formula>, Visitor<Formula>
```
public class UnabbreviateVisitor
extends Converter
```

Constructor Summary

Constructors
Constructor Description

UnabbreviateVisitor(Class<? extends Formula>... classes)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Formula`	`visit(MOperator mOperator)`
`Formula`	`visit(ROperator rOperator)`
`Formula`	`visit(WOperator wOperator)`

Methods inherited from class owl.ltl.visitors.Converter
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

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

Methods inherited from interface java.util.function.Function
andThen, compose

Methods inherited from interface owl.ltl.visitors.Visitor
apply

- Constructor Detail
  - UnabbreviateVisitor
```
@SafeVarargs
public UnabbreviateVisitor(Class<? extends Formula>... classes)
```
- Method Detail
  - visit
```
public Formula visit(ROperator rOperator)
```
    Specified by:
    
    visit in interface Visitor<Formula>
    
    Overrides:
    
    visit in class Converter
  - visit
```
public Formula visit(WOperator wOperator)
```
    Specified by:
    
    visit in interface Visitor<Formula>
    
    Overrides:
    
    visit in class Converter
  - visit
```
public Formula visit(MOperator mOperator)
```
    Specified by:
    
    visit in interface Visitor<Formula>
    
    Overrides:
    
    visit in class Converter