Package owl.cinterface
Class CDecomposedDPA.Structure
- java.lang.Object
-
- owl.cinterface.CDecomposedDPA.Structure
-
- Enclosing class:
- CDecomposedDPA
public static final class CDecomposedDPA.Structure extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classCDecomposedDPA.Structure.NodeType
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static intalphabetMapping(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree, int i)static org.graalvm.nativeimage.ObjectHandlecreateFormulaObjectHandle(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)static org.graalvm.nativeimage.ObjectHandlecreateStructureHandle(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA)static org.graalvm.nativeimage.ObjectHandlegetChild(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree, int index)static intgetNumberOfChildren(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)static intgetReferencedAutomaton(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)static CDecomposedDPA.Structure.NodeTypenodeType(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
-
-
-
Method Detail
-
createStructureHandle
public static org.graalvm.nativeimage.ObjectHandle createStructureHandle(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA)
-
nodeType
public static CDecomposedDPA.Structure.NodeType nodeType(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
-
getNumberOfChildren
public static int getNumberOfChildren(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
-
getChild
public static org.graalvm.nativeimage.ObjectHandle getChild(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree, int index)
-
getReferencedAutomaton
public static int getReferencedAutomaton(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
-
createFormulaObjectHandle
public static org.graalvm.nativeimage.ObjectHandle createFormulaObjectHandle(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
-
alphabetMapping
public static int alphabetMapping(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree, int i)
-
-