Package org.processmining.fusionminerful.result

Class AutomatonResult

  • public class AutomatonResult
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      AutomatonResult​(dk.brics.automaton.Automaton aut, java.util.Collection<java.lang.Character> alphabet, java.util.Map<java.lang.String,​java.lang.Character> map)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Collection<java.lang.Character> getAlphabet()  
      java.util.Map<java.lang.String,​java.lang.Character> getAlphabetMap()  
      dk.brics.automaton.Automaton getAutomaton()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AutomatonResult

        public AutomatonResult​(dk.brics.automaton.Automaton aut,
                       java.util.Collection<java.lang.Character> alphabet,
                       java.util.Map<java.lang.String,​java.lang.Character> map)

    • Method Detail

      • getAutomaton

        public dk.brics.automaton.Automaton getAutomaton()

      • getAlphabet

        public java.util.Collection<java.lang.Character> getAlphabet()

      • getAlphabetMap

        public java.util.Map<java.lang.String,​java.lang.Character> getAlphabetMap()