tvm::constraint Namespace Reference

Namespaces
	abstract
	internal

Classes
class	BasicLinearConstraint

Enumerations
enum	Type { Type::EQUAL, Type::GREATER_THAN, Type::LOWER_THAN, Type::DOUBLE_SIDED }
enum	RHS { RHS::ZERO, RHS::AS_GIVEN, RHS::OPPOSITE }

Enumeration Type Documentation

RHS

enum tvm::constraint::RHS

strong

Tell how a vector u should be considered as a right hand side of a constraint.

Enumerator
ZERO	rhs = 0
AS_GIVEN	rhs = u
OPPOSITE	rhs = -u

Type

enum tvm::constraint::Type

strong

For a function f(x), and a right hand side rhs (and rhs2), gives the type of the constraint.

Enumerator
EQUAL	f(x) = rhs
GREATER_THAN	f(x) >= rhs
LOWER_THAN	f(x) <= rhs
DOUBLE_SIDED	rhs <= f(x) <= rhs2