Numeric.Limp.Canon.Constraint

Representation of linear constraints

Documentation

data Constraint z r c

Conjunction of simple constraints

Constructors

Constraint [Constraint1 z r c]

data Constraint1 z r c

A simple constraint

Constructors

C1 (Maybe (R c)) (Linear z r c) (Maybe (R c))

Maybe a lower bound, a linear function, and maybe an upper bound.

In order to be meaningful, at least one of lower or upper bound should be Just.

check :: (Rep c, Ord z, Ord r) => Assignment z r c -> Constraint z r c -> Bool

Check whether an assignment satisfies the constraint

varsOfConstraint :: (Ord z, Ord r) => Constraint z r c -> Set (Either z r)

Get set of variables in constraint