public class TheoryOfRegionsConstraint
extends java.lang.Object
Constructor and Description |
---|
TheoryOfRegionsConstraint() |
Modifier and Type | Method and Description |
---|---|
static <T extends HybridVariableMapping<java.lang.Integer>> |
construct(T varMap,
int[] abs,
double[] target)
Constructs a variable-mapping based constraint using an abstraciton of
(prefixes of) traces.
|
static <T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>> |
construct(T varMap,
int[] abstraction,
double[] target,
org.processmining.lpengines.interfaces.LPEngine engine) |
public static <T extends HybridVariableMapping<java.lang.Integer>> double[] construct(T varMap, int[] abs, double[] target)
varMap
- variable mappingabs
- sequence abstractiontarget
- container to encode the constraintpublic static <T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>> double[] construct(T varMap, int[] abstraction, double[] target, org.processmining.lpengines.interfaces.LPEngine engine)