satchmo-2.9.9.3: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Relation.Data

Documentation

data Relation a b Source

Instances

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

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

symmetric_relation :: (Ix b, MonadSAT m) => ((b, b), (b, b)) -> m (Relation b b) Source

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

identity :: (Ix a, MonadSAT m) => ((a, a), (a, a)) -> m (Relation a a) Source

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

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

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

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

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

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