public class IntArrSlackBasedFilterHybridVariableMapping<T> extends HybridVariableMappingImpl<T> implements SlackBasedFilterHybridVariableMapping<T,int[]>
Modifier and Type | Field and Description |
---|---|
protected LPLogAbstraction<?> |
logAbstraction |
protected int |
minimalSlackIndex |
protected gnu.trove.map.TObjectIntMap<int[]> |
objectToSlackVariableMapping |
protected int[] |
slackVariableIndices |
domain, dualVariableObjects, markingVariable, maxIndex, objectToVariableIndexMap, singleVariableObjects
engineType
Constructor and Description |
---|
IntArrSlackBasedFilterHybridVariableMapping(org.processmining.lpengines.interfaces.LPEngine.EngineType engineType,
java.util.Set<T> singleVariables,
java.util.Set<T> dualVariables,
LPLogAbstraction<?> logAbstraction) |
Modifier and Type | Method and Description |
---|---|
int |
addObjectAsSlackVariable(int[] abstraction) |
gnu.trove.map.TObjectIntMap<int[]> |
getSlackMap() |
int |
getSlackVariableIndex(int[] s) |
boolean |
isSlackVariableIndex(int lpIndex) |
int |
slackVariableIndex(int[] w) |
int[] |
slackVariableIndices() |
getDomain, getDualVariableObjects, getMarkingVariableLPIndex, getObjectOfLpIndex, getSingleVariableIndexOf, getSingleVariableIndices, getSingleVariables, getXVariableIndexOf, getXVariableIndices, getYVariableIndexOf, getYVariableIndices, isDual, isDualVariableIndex, isDualVariableObject, isEventRelatedVariableIndex, isHybrid, isSingle, isSingleVariableIndex, isSingleVariableObject, isXVariableIndex, isYVariableIndex, projectOnHybridVariableIndices, setupMapping
engineType
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getDomain, getDualVariableObjects, getMarkingVariableLPIndex, getObjectOfLpIndex, getSingleVariableIndexOf, getSingleVariableIndices, getSingleVariables, getXVariableIndexOf, getXVariableIndices, getYVariableIndexOf, getYVariableIndices, isDual, isDualVariableIndex, isDualVariableObject, isEventRelatedVariableIndex, isHybrid, isSingle, isSingleVariableIndex, isSingleVariableObject, isXVariableIndex, isYVariableIndex, projectOnHybridVariableIndices
engineType
protected gnu.trove.map.TObjectIntMap<int[]> objectToSlackVariableMapping
protected int[] slackVariableIndices
protected int minimalSlackIndex
protected final LPLogAbstraction<?> logAbstraction
public IntArrSlackBasedFilterHybridVariableMapping(org.processmining.lpengines.interfaces.LPEngine.EngineType engineType, java.util.Set<T> singleVariables, java.util.Set<T> dualVariables, LPLogAbstraction<?> logAbstraction)
public int addObjectAsSlackVariable(int[] abstraction)
addObjectAsSlackVariable
in interface SlackBasedFilterHybridVariableMapping<T,int[]>
public gnu.trove.map.TObjectIntMap<int[]> getSlackMap()
getSlackMap
in interface SlackBasedFilterHybridVariableMapping<T,int[]>
public int getSlackVariableIndex(int[] s)
getSlackVariableIndex
in interface SlackBasedFilterHybridVariableMapping<T,int[]>
public boolean isSlackVariableIndex(int lpIndex)
isSlackVariableIndex
in interface SlackBasedFilterHybridVariableMapping<T,int[]>
public int slackVariableIndex(int[] w)
public int[] slackVariableIndices()
slackVariableIndices
in interface SlackBasedFilterHybridVariableMapping<T,int[]>