Numeric.Limp.Program.Eval

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

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

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

Check whether assignment satisfies constraint.

checkProgram :: (Rep c, Ord z, Ord r) => Assignment z r c -> Program z r c -> Bool

Check whether an assignment satisfies the program's constraints and bounds

checkBounds :: (Rep c, Ord z, Ord r) => Assignment z r c -> [Bounds z r c] -> Bool