Modifier and Type | Method and Description |
---|---|
org.deckfour.xes.model.XLog |
PatternBasedLogAbstractionPlugin.abstractLogBasedOnPatterns(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.datapetrinets.DataPetriNet... abstractionNets) |
org.deckfour.xes.model.XLog |
PatternBasedLogAbstractionPlugin.abstractLogBasedOnPatterns(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet... abstractionNets) |
org.deckfour.xes.model.XLog |
PatternBasedLogAbstractionPlugin.abstractLogBasedOnPatterns(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph... abstractionNets) |
static AbstractionModel |
PatternBasedLogAbstractionPlugin.composePatterns(java.lang.String abstractionModel,
java.util.Map<java.lang.String,AbstractionPattern> abstractionPatterns,
boolean simplify) |
Modifier and Type | Method and Description |
---|---|
AbstractionModel |
AbstractionModelBuilder.compileAbstractionModel(java.lang.String code) |
AbstractionModel |
AbstractionModelBuilder.getAbstractionModel() |
Modifier and Type | Method and Description |
---|---|
static AbstractionModel |
PatternCompiler.compile(java.lang.String compositionFormula,
java.lang.String netName,
java.util.Map<java.lang.String,AbstractionPattern> patternMap,
boolean reduceTau) |
static CompositionRoot |
PatternSimplifier.simplify(java.lang.String compositionFormula) |
Modifier and Type | Method and Description |
---|---|
ParseException |
CompositionParser.generateParseException()
Generate ParseException.
|
Modifier and Type | Method and Description |
---|---|
void |
CompositionParser.basic() |
void |
CompositionParser.choice() |
void |
CompositionParser.expression() |
void |
CompositionParser.identifier() |
void |
CompositionParser.nary() |
void |
CompositionParser.parallel() |
CompositionRoot |
CompositionParser.parse() |
void |
CompositionParser.sequence() |