TVM
0.9.2
|
Namespaces | |
abstract | |
Classes | |
class | AnisotropicWeightBase |
class | PriorityLevelBase |
class | SolvingRequirements |
class | SolvingRequirementsBase |
class | SolvingRequirementsWithCallbacks |
class | ViolationEvaluationBase |
class | WeightBase |
Typedefs | |
using | AnisotropicWeight = AnisotropicWeightBase< true > |
using | PriorityLevel = PriorityLevelBase< true > |
using | ViolationEvaluation = ViolationEvaluationBase< true > |
using | Weight = WeightBase< true > |
Enumerations | |
enum | ViolationEvaluationType { ViolationEvaluationType::L1, ViolationEvaluationType::L2, ViolationEvaluationType::LINF } |
using tvm::requirements::AnisotropicWeight = typedef AnisotropicWeightBase<true> |
using tvm::requirements::PriorityLevel = typedef PriorityLevelBase<true> |
using tvm::requirements::ViolationEvaluation = typedef ViolationEvaluationBase<true> |
using tvm::requirements::Weight = typedef WeightBase<true> |
|
strong |
Given a constraint, let the vector v(x) be its component-wise violation.
For example, for the constraint c(x) = 0, we simply have v(x) = c(x), for c(x) >= b, we have v(x) = max(b-c(x),0).
This enumeration specifies how v(x) is made into a scalar measure f(x) of this violation.
Enumerator | |
---|---|
L1 | f(x) = sum(abs(v_i(x))) |
L2 | f(x) = v(x)^T*v(x) |
LINF | f(x) = max(abs(v_i(x))) |