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) |
static AbstractionModelAsDot |
DotCompiler.convert(AbstractionModel model) |
AbstractionModel |
AbstractionModelBuilder.getAbstractionModel() |
Modifier and Type | Method and Description |
---|---|
static AbstractionModel |
PatternCompiler.compile(CompositionRoot composition,
java.lang.String composedModelName,
java.util.Map<java.lang.String,AbstractionPattern> patternMap,
boolean reduceTau) |
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(CompositionRoot composition) |
static CompositionRoot |
PatternSimplifier.simplify(java.lang.String compositionFormula) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
SimpleNode.childrenAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionParserDefaultVisitor.defaultVisit(SimpleNode node,
java.lang.Object data) |
java.lang.Object |
CompositionCho.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionId.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionInt.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionNCho.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionNPar.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionPar.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionRepExact.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionRepInf.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionRepInfOne.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionRepZeroOne.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionRoot.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionSeq.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
Node.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
SimpleNode.jjtAccept(CompositionParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionCho node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionCho node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionId node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionId node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionInt node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionInt node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionNCho node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionNCho node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionNPar node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionNPar node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionPar node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionPar node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionRepExact node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionRepExact node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionRepInf node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionRepInf node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionRepInfOne node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionRepInfOne node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionRepZeroOne node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionRepZeroOne node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionRoot node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionRoot node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionSeq node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionSeq node,
java.lang.Object data) |
java.lang.Object |
CompositionParserDefaultVisitor.visit(SimpleNode node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(SimpleNode node,
java.lang.Object data) |