Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.processmining.plugins.declareminer
Class AutomatonUtils

java.lang.Object
  extended by org.processmining.plugins.declareminer.AutomatonUtils

public class AutomatonUtils
extends java.lang.Object

Constructor Summary
AutomatonUtils()
           
 
Method Summary
static java.util.ArrayList<java.lang.String> getPropositions(ltl2aut.automaton.Transition edge)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AutomatonUtils

public AutomatonUtils()
Method Detail

getPropositions

public static java.util.ArrayList<java.lang.String> getPropositions(ltl2aut.automaton.Transition edge)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD