Package owl.ltl.visitors

## Class UnabbreviateVisitor

- 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

      `apply, 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`

- - ### 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`