PropositionalSimplifier (owl 21.0 API)

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

All Implemented Interfaces:

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

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static PropositionalSimplifier INSTANCE
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected PropositionalSimplifier()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Formula visit(Conjunction conjunction)
  
  Formula visit(Disjunction disjunction)
  - Methods inherited from class owl.ltl.visitors.Converter
    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

- Field Detail
  - INSTANCE
```
public static final PropositionalSimplifier INSTANCE
```
- Constructor Detail
  - PropositionalSimplifier
```
protected PropositionalSimplifier()
```
- Method Detail
  - visit
```
public Formula visit(Conjunction conjunction)
```
    Specified by:
    
    visit in interface Visitor<Formula>
    
    Overrides:
    
    visit in class Converter
  - visit
```
public Formula visit(Disjunction disjunction)
```
    Specified by:
    
    visit in interface Visitor<Formula>
    
    Overrides:
    
    visit in class Converter