org.processmining.hybridilpminer.templates.lp.constraints

Class TheoryOfRegionsConstraint

java.lang.Object

org.processmining.hybridilpminer.templates.lp.constraints.TheoryOfRegionsConstraint

public class TheoryOfRegionsConstraint
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TheoryOfRegionsConstraint()

Method Summary

Modifier and Type	Method and Description
static <T extends HybridVariableMapping<java.lang.Integer>> double[]	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[]>> double[]	construct(T varMap, int[] abstraction, double[] target, org.processmining.lpengines.interfaces.LPEngine engine)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TheoryOfRegionsConstraint

public TheoryOfRegionsConstraint()

Method Detail

construct

public static <T extends HybridVariableMapping<java.lang.Integer>> double[] construct(T varMap,
                                                                                      int[] abs,
                                                                                      double[] target)

Constructs a variable-mapping based constraint using an abstraciton of (prefixes of) traces. i.e. given we have activities a,b,c and d and the trace with activity mapping (a -> 0, b -> 1, c -> 2, d -> 3). The trace should be encoded as [1,1,0,0,2], i.e. a occurs once, b occurs once, c does not occur, d does not occur, c is the last event in the sequence.

Parameters:

varMap - variable mapping

abs - sequence abstraction

target - container to encode the constraint

Returns:

constraint

construct

public static <T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>> double[] construct(T varMap,
                                                                                                            int[] abstraction,
                                                                                                            double[] target,
                                                                                                            org.processmining.lpengines.interfaces.LPEngine engine)