Package | Description |
---|---|
org.processmining.logenhancement.abstraction.model | |
org.processmining.logenhancement.abstraction.model.syntax |
Modifier and Type | Method and Description |
---|---|
CompositionRoot |
AbstractionModel.getComposition() |
static CompositionRoot |
PatternSimplifier.simplify(CompositionRoot composition) |
static CompositionRoot |
PatternSimplifier.simplify(java.lang.String compositionFormula) |
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 java.lang.String |
Printer.printCanonical(CompositionRoot composition) |
static CompositionRoot |
PatternSimplifier.simplify(CompositionRoot composition) |
Constructor and Description |
---|
AbstractionModel(CompositionRoot composition,
org.processmining.datapetrinets.DataPetriNetsWithMarkings combinedDPN,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> old2NewMap,
java.util.Collection<AbstractionPattern> patterns) |
Modifier and Type | Method and Description |
---|---|
CompositionRoot |
CompositionParser.parse() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
CompositionParserDefaultVisitor.visit(CompositionRoot node,
java.lang.Object data) |
java.lang.Object |
CompositionParserVisitor.visit(CompositionRoot node,
java.lang.Object data) |