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

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, CIntVector cTreeBuffer, CIntVector cEdgeBuffer, CDoubleVector cScoreBuffer)
static owl.cinterface.CAutomaton.ZielonkaNormalFormState	extractFeatures(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle automatonObjectHandle, CIntVector stateIds)
static boolean	extractFeatures(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle automatonObjectHandle, CIntVector states, CIntVector features)
static org.graalvm.nativeimage.ObjectHandle	of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation)
static org.graalvm.nativeimage.ObjectHandle	of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead)
static org.graalvm.nativeimage.ObjectHandle	of(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, LtlTranslationRepository.LtlToDpaTranslation translation, int lookahead, LtlTranslationRepository.Option o1)
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)
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)
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)
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)
static org.graalvm.nativeimage.ObjectHandle	parse(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.c.type.CCharPointer cCharPointer)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)