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, singleVariableObjectsengineType| 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, setupMappingengineTypeclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetDomain, getDualVariableObjects, getMarkingVariableLPIndex, getObjectOfLpIndex, getSingleVariableIndexOf, getSingleVariableIndices, getSingleVariables, getXVariableIndexOf, getXVariableIndices, getYVariableIndexOf, getYVariableIndices, isDual, isDualVariableIndex, isDualVariableObject, isEventRelatedVariableIndex, isHybrid, isSingle, isSingleVariableIndex, isSingleVariableObject, isXVariableIndex, isYVariableIndex, projectOnHybridVariableIndicesengineTypeprotected 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[]>