limp-0.3.2.2: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Program.Eval

Description

Functions for evaluating linear functions and checking constraints.

Synopsis

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.

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

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 Source #