Class CDecomposedDPA


  • public final class CDecomposedDPA
    extends Object
    • Method Detail

      • of

        public static org.graalvm.nativeimage.ObjectHandle of​(org.graalvm.nativeimage.IsolateThread thread,
                                                              org.graalvm.nativeimage.ObjectHandle cLabelledFormula)
      • automataSize

        public static int automataSize​(org.graalvm.nativeimage.IsolateThread thread,
                                       org.graalvm.nativeimage.ObjectHandle cDecomposedDPA)
      • automataGet

        public static org.graalvm.nativeimage.ObjectHandle automataGet​(org.graalvm.nativeimage.IsolateThread thread,
                                                                       org.graalvm.nativeimage.ObjectHandle cDecomposedDPA,
                                                                       int index)
      • declareRealizabilityStatus

        public static boolean declareRealizabilityStatus​(org.graalvm.nativeimage.IsolateThread thread,
                                                         org.graalvm.nativeimage.ObjectHandle cDecomposedDPA,
                                                         CDecomposedDPA.RealizabilityStatus status,
                                                         org.graalvm.nativeimage.c.type.CIntPointer cDecomposedState,
                                                         int numberOfStates)
      • queryRealizabilityStatus

        public static CDecomposedDPA.RealizabilityStatus queryRealizabilityStatus​(org.graalvm.nativeimage.IsolateThread thread,
                                                                                  org.graalvm.nativeimage.ObjectHandle cDecomposedDPA,
                                                                                  org.graalvm.nativeimage.c.type.CIntPointer cDecomposedState,
                                                                                  int numberOfStates)