Numeric.Limp.Canon.Constraint

Documentation

data Constraint z r c

Constructors

Constraint [Constraint1 z r c]

data Constraint1 z r c

Constructors

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)