Package owl.cinterface
Class CDecomposedDPA
- java.lang.Object
-
- owl.cinterface.CDecomposedDPA
-
public final class CDecomposedDPA extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
CDecomposedDPA.RealizabilityStatus
static class
CDecomposedDPA.Structure
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static org.graalvm.nativeimage.ObjectHandle
automataGet(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA, int index)
static int
automataSize(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA)
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)
static org.graalvm.nativeimage.ObjectHandle
of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula)
static CDecomposedDPA.RealizabilityStatus
queryRealizabilityStatus(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA, org.graalvm.nativeimage.c.type.CIntPointer cDecomposedState, int numberOfStates)
-
-
-
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)
-
-