tvm::requirements Namespace Reference

Namespaces
	abstract

Classes
class	AnisotropicWeightBase
class	PriorityLevelBase
class	SolvingRequirementsBase
class	SolvingRequirements
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 class	ViolationEvaluationType { L1 , L2 , LINF }

Typedef Documentation

AnisotropicWeight

using tvm::requirements::AnisotropicWeight = typedef AnisotropicWeightBase<true>

PriorityLevel

using tvm::requirements::PriorityLevel = typedef PriorityLevelBase<true>

ViolationEvaluation

using tvm::requirements::ViolationEvaluation = typedef ViolationEvaluationBase<true>

Weight

using tvm::requirements::Weight = typedef WeightBase<true>

Enumeration Type Documentation

ViolationEvaluationType

enum tvm::requirements::ViolationEvaluationType

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)))