public class MarkingEqConsultant
extends java.lang.Object
Constructor and Description |
---|
MarkingEqConsultant(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
java.util.Map<java.lang.Integer,java.lang.Integer> mapEncTrans2Cost,
EncPNWSetFinalMarkings encodedPN,
java.util.HashSet<java.lang.Integer> encFinalMarkings,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking) |
Modifier and Type | Method and Description |
---|---|
int |
estimateCost(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
java.lang.Integer currMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
Estimate cost
|
static void |
loadLPSolveLibrary()
Static method to load lpsolve
|
public MarkingEqConsultant(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass, java.util.Map<java.lang.Integer,java.lang.Integer> mapEncTrans2Cost, EncPNWSetFinalMarkings encodedPN, java.util.HashSet<java.lang.Integer> encFinalMarkings, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking) throws java.io.IOException
java.io.IOException
public static void loadLPSolveLibrary() throws java.io.IOException
java.io.IOException
public int estimateCost(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass, java.lang.Integer currMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
lstEvtClass
- currMarking
- mapInt2Marking
- mapEncTrans2EvClass
-