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.IOExceptionpublic static void loadLPSolveLibrary()
throws java.io.IOException
java.io.IOExceptionpublic 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 -