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 class
CDecomposedDPA.Structure.NodeType
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static int
alphabetMapping(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree, int i)
static org.graalvm.nativeimage.ObjectHandle
createFormulaObjectHandle(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
static org.graalvm.nativeimage.ObjectHandle
createStructureHandle(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDecomposedDPA)
static org.graalvm.nativeimage.ObjectHandle
getChild(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree, int index)
static int
getNumberOfChildren(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
static int
getReferencedAutomaton(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledTree)
static CDecomposedDPA.Structure.NodeType
nodeType(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)
-
-