public class EGraphsWithMappings extends EGraphs
Constructor and Description |
---|
EGraphsWithMappings(java.util.List<EGraph> graphs,
MatchMappings mappings,
EGMatchConfiguration conf) |
Modifier and Type | Method and Description |
---|---|
MatchMappings |
getMappings() |
EGMatchConfiguration |
getMatchConfiguration() |
org.processmining.partialorder.ptrace.model.PLog |
getPlog() |
void |
setPlog(org.processmining.partialorder.ptrace.model.PLog plog) |
public EGraphsWithMappings(java.util.List<EGraph> graphs, MatchMappings mappings, EGMatchConfiguration conf)
public MatchMappings getMappings()
public EGMatchConfiguration getMatchConfiguration()
public org.processmining.partialorder.ptrace.model.PLog getPlog()
public void setPlog(org.processmining.partialorder.ptrace.model.PLog plog)