Safe Haskell | None |
---|---|
Language | Haskell2010 |
Functions for evaluating linear functions and checking constraints.
Documentation
eval :: (Rep c, Ord z, Ord r) => Assignment z r c -> Linear z r c k -> KRep k c Source
Evaluate a linear function with given assignment.
If the linear function is purely integral, a Z
will be returned; otherwise, R
.
evalR :: (Rep c, Ord z, Ord r) => Assignment z r c -> Linear z r c k -> R c Source
Evaluate a linear function with given assignment, returning real value.
check :: (Rep c, Ord z, Ord r) => Assignment z r c -> Constraint z r c -> Bool Source
Check whether assignment satisfies constraint.