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 classCAutomaton.Acceptance
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static CAutomaton.AcceptanceacceptanceCondition(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)static intacceptanceConditionSets(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)static intatomicPropositions(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)static org.graalvm.word.UnsignedWordatomicPropositions(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 intatomicPropositionsUncontrollableSize(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)static voidedgeTree(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 booleanedgeTreeMasking(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)static booleanisSingleton(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula)static org.graalvm.nativeimage.ObjectHandleparse(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)
-
-