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, CIntVector cTreeBuffer, CIntVector cEdgeBuffer, CDoubleVector cScoreBuffer)static owl.cinterface.CAutomaton.ZielonkaNormalFormStateextractFeatures(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle automatonObjectHandle, CIntVector stateIds)static booleanextractFeatures(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle automatonObjectHandle, CIntVector states, CIntVector features)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2, LtlTranslationRepository.Option o3)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2, LtlTranslationRepository.Option o3, LtlTranslationRepository.Option o4)static org.graalvm.nativeimage.ObjectHandleof(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2, LtlTranslationRepository.Option o3, LtlTranslationRepository.Option o4, LtlTranslationRepository.Option o5)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, LtlTranslationRepository.LtlToDpaTranslation translation)
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead)
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1)
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2)
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2, LtlTranslationRepository.Option o3)
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2, LtlTranslationRepository.Option o3, LtlTranslationRepository.Option o4)
-
of
public static org.graalvm.nativeimage.ObjectHandle of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1, LtlTranslationRepository.Option o2, LtlTranslationRepository.Option o3, LtlTranslationRepository.Option o4, LtlTranslationRepository.Option o5)
-
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)
-
edgeTree
public static void edgeTree(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cDeterministicAutomaton, int state, CIntVector cTreeBuffer, CIntVector cEdgeBuffer, CDoubleVector cScoreBuffer)
-
extractFeatures
public static owl.cinterface.CAutomaton.ZielonkaNormalFormState extractFeatures(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle automatonObjectHandle, CIntVector stateIds)
-
extractFeatures
public static boolean extractFeatures(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle automatonObjectHandle, CIntVector states, CIntVector features)
-
-