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()