public class WeightedParikhObjective
extends java.lang.Object
Constructor and Description |
---|
WeightedParikhObjective() |
Modifier and Type | Method and Description |
---|---|
static <T extends HybridVariableMapping<java.lang.Integer>> |
construct(T varMap,
java.util.Set<int[]> abstractions,
LPLogAbstraction<?> logAbstraction,
double[] target,
boolean scale) |
static <T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>> |
construct(T varMap,
java.util.Set<int[]> abstractions,
LPLogAbstraction<?> logAbstraction,
double[] coefficients,
boolean scale) |
public static <T extends HybridVariableMapping<java.lang.Integer>> double[] construct(T varMap, java.util.Set<int[]> abstractions, LPLogAbstraction<?> logAbstraction, double[] target, boolean scale)
public static <T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>> double[] construct(T varMap, java.util.Set<int[]> abstractions, LPLogAbstraction<?> logAbstraction, double[] coefficients, boolean scale)