| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Limp.Canon.Constraint
Description
Representation of linear constraints
- data Constraint z r c = Constraint [Constraint1 z r c]
- data Constraint1 z r c = C1 (Maybe (R c)) (Linear z r c) (Maybe (R c))
- check :: (Rep c, Ord z, Ord r) => Assignment z r c -> Constraint z r c -> Bool
- varsOfConstraint :: (Ord z, Ord r) => Constraint z r c -> Set (Either z r)
Documentation
data Constraint z r c Source #
Conjunction of simple constraints
Constructors
| Constraint [Constraint1 z r c] |
data Constraint1 z r c Source #
A simple constraint
check :: (Rep c, Ord z, Ord r) => Assignment z r c -> Constraint z r c -> Bool Source #
Check whether an assignment satisfies the constraint
varsOfConstraint :: (Ord z, Ord r) => Constraint z r c -> Set (Either z r) Source #
Get set of variables in constraint