Satchmo.Relation.Data

Documentation

data Relation a b

Instances

(Ix a, Ix b) => Decode (Relation a b) (Array (a, b) Bool)

relation :: (Ix a, Ix b, MonadSAT m) => ((a, b), (a, b)) -> m (Relation a b)

build :: (Ix a, Ix b) => ((a, b), (a, b)) -> [((a, b), Boolean)] -> Relation a b

bounds :: (Ix a, Ix b) => Relation a b -> ((a, b), (a, b))

(!) :: (Ix t, Ix t1) => Relation t t1 -> (t, t1) -> Boolean

indices :: (Ix t, Ix t1) => Relation t t1 -> [(t, t1)]

assocs :: (Ix t, Ix t1) => Relation t t1 -> [((t, t1), Boolean)]

table :: (Enum a, Ix a, Enum b, Ix b) => Array (a, b) Bool -> String