Package owl.cinterface
Class CAutomaton
- java.lang.Object
-
- owl.cinterface.CAutomaton
-
public final class CAutomaton extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
CAutomaton.Acceptance
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static CAutomaton.Acceptance
acceptanceCondition(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
static int
acceptanceConditionSets(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
static int
atomicPropositions(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
static org.graalvm.word.UnsignedWord
atomicPropositions(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton, int index, org.graalvm.nativeimage.c.type.CCharPointer buffer, org.graalvm.word.UnsignedWord bufferSize)
static int
atomicPropositionsUncontrollableSize(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
static void
edgeTree(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton, int state, owl.cinterface.CIntArray cTreeBuffer, owl.cinterface.CIntArray cEdgeBuffer, owl.cinterface.CDoubleArray cScoreBuffer)
static boolean
edgeTreeMasking(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
static boolean
isSingleton(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
static org.graalvm.nativeimage.ObjectHandle
of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula)
static org.graalvm.nativeimage.ObjectHandle
parse(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.c.type.CCharPointer cCharPointer)
-
-
-
Method Detail
-
parse
public static org.graalvm.nativeimage.ObjectHandle parse(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.c.type.CCharPointer cCharPointer) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula)
-
acceptanceCondition
public static CAutomaton.Acceptance acceptanceCondition(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
-
acceptanceConditionSets
public static int acceptanceConditionSets(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
-
atomicPropositions
public static int atomicPropositions(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
-
atomicPropositionsUncontrollableSize
public static int atomicPropositionsUncontrollableSize(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
-
atomicPropositions
public static org.graalvm.word.UnsignedWord atomicPropositions(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton, int index, org.graalvm.nativeimage.c.type.CCharPointer buffer, org.graalvm.word.UnsignedWord bufferSize)
-
edgeTreeMasking
public static boolean edgeTreeMasking(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
-
edgeTree
public static void edgeTree(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton, int state, owl.cinterface.CIntArray cTreeBuffer, owl.cinterface.CIntArray cEdgeBuffer, owl.cinterface.CDoubleArray cScoreBuffer)
-
isSingleton
public static boolean isSingleton(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)
-
-