Package owl.translations.mastertheorem

## Class SymmetricEvaluatedFixpoints.DeterministicAutomata

- java.lang.Object
- - owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata

- Enclosing class:
    SymmetricEvaluatedFixpoints

      public static final class SymmetricEvaluatedFixpoints.DeterministicAutomata
      extends Object

- - ### Field Summary

    Fields
    Modifier and Type | Field | Description
    --- | --- | ---
    `DeterministicConstructions.GfCoSafety` | `gfCoSafetyAutomaton` |
    `DeterministicConstructions.Safety` | `safetyAutomaton` |

  - ### Method Summary

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

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

- - ### Field Detail

    - #### gfCoSafetyAutomaton

          @Nullable
          public final DeterministicConstructions.GfCoSafety gfCoSafetyAutomaton

    - #### safetyAutomaton

          public final DeterministicConstructions.Safety safetyAutomaton