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 classCDecomposedDPA.RealizabilityStatusstatic classCDecomposedDPA.Structure
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static org.graalvm.nativeimage.ObjectHandleautomataGet(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA, int index)static intautomataSize(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA)static booleandeclareRealizabilityStatus(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.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula)static CDecomposedDPA.RealizabilityStatusqueryRealizabilityStatus(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)
-
-