public class DataConformancePlusConfiguration
extends java.lang.Object
Constructor and Description |
---|
DataConformancePlusConfiguration()
Creates a new configuration with default settings, you still need to set
the mandatory parameters (see
#DataConformancePlusConfiguration(Marking, Marking[], TransEvClassMapping, Map, Map, Map, VariableMatchCosts, Map)
manually. |
DataConformancePlusConfiguration(DataConformancePlusConfiguration config)
Copy constructor that takes its parameters from the supplied
configuration.
|
DataConformancePlusConfiguration(org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping activityMapping,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<java.lang.String,java.lang.String> variableMapping,
VariableMatchCosts variableCost,
boolean usePartialOrder)
Creates a new configuration with the supplied mandatory parameters.
|
Modifier and Type | Method and Description |
---|---|
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping |
getActivityMapping() |
int |
getConcurrentThreads() |
nl.tue.astar.AStarThread.Canceller |
getControlFlowAlignmentCanceller() |
java.util.Map<java.lang.String,java.lang.Object> |
getDefaultValues() |
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
java.util.Map<java.lang.String,java.lang.Object> |
getLowerBounds() |
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> |
getMapEvClass2Cost() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
getMapTrans2Cost() |
DataConformancePlusObserver |
getObserver() |
java.util.Map<java.lang.String,java.lang.Object> |
getUpperBounds() |
VariableMatchCosts |
getVariableCost() |
java.util.Map<java.lang.String,java.lang.String> |
getVariableMapping() |
boolean |
isActivateDataViewCache() |
boolean |
isKeepControlFlowSearchSpace() |
boolean |
isKeepDataFlowSearchSpace() |
boolean |
isUsePartialOrder() |
void |
setActivateDataViewCache(boolean activateDataViewCache) |
void |
setActivityMapping(org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping activityMapping)
Configures the activity to event class mapping.
|
void |
setConcurrentThreads(int concurrentThreads) |
void |
setControlFlowAlignmentCanceller(nl.tue.astar.AStarThread.Canceller canceller) |
void |
setDefaultValues(java.util.Map<java.lang.String,java.lang.Object> defaultValue) |
void |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking) |
void |
setKeepControlFlowSearchSpace(boolean keepSearchSpace) |
void |
setKeepDataFlowSearchSpace(boolean keepSearchSpace) |
void |
setLowerBounds(java.util.Map<java.lang.String,java.lang.Object> lowerBounds) |
void |
setMapEvClass2Cost(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost) |
void |
setMapTrans2Cost(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost) |
void |
setObserver(DataConformancePlusObserver observer) |
void |
setUpperBounds(java.util.Map<java.lang.String,java.lang.Object> upperBounds) |
void |
setUsePartialOrders(boolean usePartialOrders) |
void |
setVariableCost(VariableMatchCosts variableCost) |
void |
setVariableMapping(java.util.Map<java.lang.String,java.lang.String> variableMapping) |
public DataConformancePlusConfiguration()
#DataConformancePlusConfiguration(Marking, Marking[], TransEvClassMapping, Map, Map, Map, VariableMatchCosts, Map)
manually.public DataConformancePlusConfiguration(org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping activityMapping, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<java.lang.String,java.lang.String> variableMapping, VariableMatchCosts variableCost, boolean usePartialOrder)
initialMarking
- finalMarkings
- activityMapping
- Mapping of Transition to Event ClassmapEvClass2Cost
- mapTrans2Cost
- variableMapping
- Mapping from variable name in DPN-net to variable name in
event logvariableCost
- Mapping from variable name in DPN-net to costvarType
- Mapping from variable name in DPN-net to Java classpublic DataConformancePlusConfiguration(DataConformancePlusConfiguration config)
config
- to copy (shallow-clone) frompublic boolean isUsePartialOrder()
public java.util.Map<java.lang.String,java.lang.String> getVariableMapping()
public void setVariableMapping(java.util.Map<java.lang.String,java.lang.String> variableMapping)
variableMapping
- mapping from variable name in DPN-net to variable name in
event logpublic VariableMatchCosts getVariableCost()
public void setVariableCost(VariableMatchCosts variableCost)
variableCost
- mapping from variable name in DPN-net to costpublic DataConformancePlusObserver getObserver()
public void setObserver(DataConformancePlusObserver observer)
public void setControlFlowAlignmentCanceller(nl.tue.astar.AStarThread.Canceller canceller)
public nl.tue.astar.AStarThread.Canceller getControlFlowAlignmentCanceller()
public void setLowerBounds(java.util.Map<java.lang.String,java.lang.Object> lowerBounds)
lowerBounds
- mapping from variable name in DPN-net to lower bound (helps
speeding up ILP solving)public void setUpperBounds(java.util.Map<java.lang.String,java.lang.Object> upperBounds)
upperBounds
- mapping from variable name in DPN-net to upper bound (helps
speeding up ILP solving)public org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping getActivityMapping()
public void setActivityMapping(org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping activityMapping)
setMapEvClass2Cost(Map)
!activityMapping
- public java.util.Map<java.lang.String,java.lang.Object> getUpperBounds()
public java.util.Map<java.lang.String,java.lang.Object> getLowerBounds()
public boolean isActivateDataViewCache()
public void setActivateDataViewCache(boolean activateDataViewCache)
activateDataViewCache
- use a built-in cache that remembers the result of the recently
calculated ILP problemspublic int getConcurrentThreads()
public void setConcurrentThreads(int concurrentThreads)
concurrentThreads
- number of concurrent threads to spawnpublic boolean isKeepControlFlowSearchSpace()
public void setKeepControlFlowSearchSpace(boolean keepSearchSpace)
keepSearchSpace
- clear/Keep the search space after each tracepublic boolean isKeepDataFlowSearchSpace()
public void setKeepDataFlowSearchSpace(boolean keepSearchSpace)
keepSearchSpace
- clear/Keep the search space after each tracepublic java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> getMapEvClass2Cost()
public void setMapEvClass2Cost(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost)
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> getMapTrans2Cost()
public void setMapTrans2Cost(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost)
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()
public void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
public java.util.Map<java.lang.String,java.lang.Object> getDefaultValues()
public void setDefaultValues(java.util.Map<java.lang.String,java.lang.Object> defaultValue)
defaultValue
- Mapping from variable name in DPN-net to a default value that
is assumed at the initial state. In case there is not default
value, the variable is assumed to be 'free'.public void setUsePartialOrders(boolean usePartialOrders)