Documentation

data Relation a b Source

relation :: (Ix a, Ix b, MonadSAT m) => ((a, b), (a, b)) -> m (Relation a 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 t1, Ix t) => Relation t t1 -> (t, t1) -> Boolean Source

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

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

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

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