T
- refers to the type of the "letters" / "events" used within the
language / log on top of which we build an ILP.public interface HybridVariableMapping<T> extends VariableMapping
Modifier and Type | Method and Description |
---|---|
java.util.Set<T> |
getDomain() |
java.util.Set<T> |
getDualVariableObjects() |
int |
getMarkingVariableLPIndex() |
T |
getObjectOfLpIndex(int i) |
int |
getSingleVariableIndexOf(T t) |
int[] |
getSingleVariableIndices() |
java.util.Set<T> |
getSingleVariables() |
int |
getXVariableIndexOf(T t) |
int[] |
getXVariableIndices() |
int |
getYVariableIndexOf(T t) |
int[] |
getYVariableIndices() |
boolean |
isDual() |
boolean |
isDualVariableIndex(int i) |
boolean |
isDualVariableObject(T t) |
boolean |
isEventRelatedVariableIndex(int i) |
boolean |
isHybrid() |
boolean |
isSingle() |
boolean |
isSingleVariableIndex(int i) |
boolean |
isSingleVariableObject(T t) |
boolean |
isXVariableIndex(int i) |
boolean |
isYVariableIndex(int i) |
double[] |
projectOnHybridVariableIndices(double[] solution) |
engineType
java.util.Set<T> getDomain()
java.util.Set<T> getDualVariableObjects()
int getMarkingVariableLPIndex()
T getObjectOfLpIndex(int i)
int getSingleVariableIndexOf(T t)
int[] getSingleVariableIndices()
java.util.Set<T> getSingleVariables()
int getXVariableIndexOf(T t)
int[] getXVariableIndices()
int getYVariableIndexOf(T t)
int[] getYVariableIndices()
boolean isDual()
boolean isDualVariableIndex(int i)
boolean isDualVariableObject(T t)
boolean isEventRelatedVariableIndex(int i)
boolean isHybrid()
boolean isSingle()
boolean isSingleVariableIndex(int i)
boolean isSingleVariableObject(T t)
boolean isXVariableIndex(int i)
boolean isYVariableIndex(int i)
double[] projectOnHybridVariableIndices(double[] solution)