Package owl.jni

Class JniEmersonLeiAutomaton.Reference

    • Field Detail

      • formula

        public final Formula formula
      • index

        public final int index
      • alphabetMapping

        public final com.google.common.primitives.ImmutableIntArray alphabetMapping
    • Method Detail

      • alphabetMapping

        public int[] alphabetMapping()