Package owl.ltl.visitors

## Class SubstitutionVisitor

- java.lang.Object
- - owl.ltl.visitors.PropositionalVisitor<Formula>
  - - owl.ltl.visitors.SubstitutionVisitor

- All Implemented Interfaces:
    `Visitor<Formula>`

      public final class SubstitutionVisitor
      extends PropositionalVisitor<Formula>

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `SubstitutionVisitor​(Function<? super Formula,? extends Formula> substitutionFunction)` |

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `protected Formula` | `modalOperatorAction​(Formula formula)` |
    `Formula` | `visit​(Biconditional biconditional)` |
    `Formula` | `visit​(BooleanConstant booleanConstant)` |
    `Formula` | `visit​(Conjunction conjunction)` |
    `Formula` | `visit​(Disjunction disjunction)` |

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

    - ### Methods inherited from class owl.ltl.visitors.PropositionalVisitor

      `visit, visit, visit, visit, visit, visit, visit, visit, visit`

- - ### Constructor Detail

    - #### SubstitutionVisitor

          public SubstitutionVisitor​(Function<? super Formula,? extends Formula> substitutionFunction)

  - ### Method Detail

    - #### modalOperatorAction

          protected Formula modalOperatorAction​(Formula formula)

      Specified by:
        `modalOperatorAction` in class `PropositionalVisitor<Formula>`

    - #### visit

          public Formula visit​(BooleanConstant booleanConstant)

    - #### visit

          public Formula visit​(Biconditional biconditional)

    - #### visit

          public Formula visit​(Conjunction conjunction)

    - #### visit

          public Formula visit​(Disjunction disjunction)