Class 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)