SplitUntilVisitor (owl 21.0 API)

java.lang.Object
- owl.ltl.visitors.Converter
- - owl.ltl.rewriter.SplitUntilVisitor

All Implemented Interfaces:

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

- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected SplitUntilVisitor()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Formula visit(UOperator uOperator)
  - Methods inherited from class owl.ltl.visitors.Converter
    visit, visit, 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
  - SplitUntilVisitor
```
protected SplitUntilVisitor()
```
- Method Detail
  - visit
```
public Formula visit(UOperator uOperator)
```
    Specified by:
    
    visit in interface Visitor<Formula>
    
    Overrides:
    
    visit in class Converter