org.processmining.framework.models.transitionsystem
Class PetrifyConstants

java.lang.Object
  extended by org.processmining.framework.models.transitionsystem.PetrifyConstants

public class PetrifyConstants
extends java.lang.Object


Field Summary
static java.util.HashMap<java.lang.String,java.lang.String> BadSymbolsMap
           
static java.util.HashMap<java.lang.String,java.lang.String> BadSymbolsMapBack
           
static java.lang.String EDGEDOCSSEPARATOR
           
static java.lang.String EVENTTYPESEPARATOR
           
 
Constructor Summary
PetrifyConstants()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

EVENTTYPESEPARATOR

public static final java.lang.String EVENTTYPESEPARATOR
See Also:
Constant Field Values

EDGEDOCSSEPARATOR

public static final java.lang.String EDGEDOCSSEPARATOR
See Also:
Constant Field Values

BadSymbolsMap

public static java.util.HashMap<java.lang.String,java.lang.String> BadSymbolsMap

BadSymbolsMapBack

public static java.util.HashMap<java.lang.String,java.lang.String> BadSymbolsMapBack
Constructor Detail

PetrifyConstants

public PetrifyConstants()