Package owl.cinterface

## Class DeterministicAutomaton<S,​T>

- java.lang.Object
- - owl.cinterface.DeterministicAutomaton<S,​T>

-     public final class DeterministicAutomaton<S,​T>
      extends Object

- - ### Field Summary

    Fields
    Modifier and Type | Field | Description
    --- | --- | ---
    `static int` | `ACCEPTING` |
    `static int` | `REJECTING` |

  - ### Method Summary

    All Methods Static Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `int` | `acceptance()` |
    `int` | `acceptanceSetCount()` |
    `int[]` | `edges​(int stateIndex)` |
    `static DeterministicAutomaton<?,​?>` | `of​(LabelledFormula formula)` |
    `double` | `qualityScore​(int successorIndex, int colour)` |

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

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

- - ### Field Detail

    - #### ACCEPTING

          public static final int ACCEPTING

      See Also:
        Constant Field Values

    - #### REJECTING

          public static final int REJECTING

      See Also:
        Constant Field Values

  - ### Method Detail

    - #### of

          public static DeterministicAutomaton<?,​?> of​(LabelledFormula formula)

    - #### acceptance

          public int acceptance()

    - #### acceptanceSetCount

          public int acceptanceSetCount()

    - #### edges

          public int[] edges​(int stateIndex)

    - #### qualityScore

          public double qualityScore​(int successorIndex,
                                     int colour)