public class EGraphMappingsInfo
extends java.lang.Object
| Constructor and Description |
|---|
EGraphMappingsInfo(org.processmining.framework.util.collection.MultiSet<java.lang.Integer> costDistribution,
int max) |
| Modifier and Type | Method and Description |
|---|---|
static EGraphMappingsInfo |
createMappingInfo(EGraphsWithMappings graphsWithMappings) |
org.processmining.framework.util.collection.MultiSet<java.lang.Integer> |
getCostDistribution() |
java.util.Map<MatchMapping,java.lang.Integer> |
getMapToCost() |
int |
getMax() |
void |
setMapToCost(java.util.Map<MatchMapping,java.lang.Integer> mapToNewCost) |
public EGraphMappingsInfo(org.processmining.framework.util.collection.MultiSet<java.lang.Integer> costDistribution,
int max)
public static EGraphMappingsInfo createMappingInfo(EGraphsWithMappings graphsWithMappings)
public int getMax()
public org.processmining.framework.util.collection.MultiSet<java.lang.Integer> getCostDistribution()
public void setMapToCost(java.util.Map<MatchMapping,java.lang.Integer> mapToNewCost)
public java.util.Map<MatchMapping,java.lang.Integer> getMapToCost()