limp-0.1.0.0: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Program.Constraint

Documentation

data Constraint z r c where Source

Constructors

(:==) :: Linear z r c k1 -> Linear z r c k2 -> Constraint z r c infix 5 
(:<=) :: Linear z r c k1 -> Linear z r c k2 -> Constraint z r c infix 5 
(:<) :: Linear z r c KZ -> Linear z r c KZ -> Constraint z r c infix 5 
(:>=) :: Linear z r c k1 -> Linear z r c k2 -> Constraint z r c infix 5 
(:>) :: Linear z r c KZ -> Linear z r c KZ -> Constraint z r c infix 5 
Between :: Linear z r c k1 -> Linear z r c k2 -> Linear z r c k3 -> Constraint z r c 
(:&&) :: Constraint z r c -> Constraint z r c -> Constraint z r c infixr 3 
(:!) :: String -> Constraint z r c -> Constraint z r c infix 4 
CTrue :: Constraint z r c 

Instances

Monoid (Constraint z r c) 

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