Documentation

data Relation a b Source #

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

symmetric_relation :: forall {m} {b}. (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 a, Ix b) => Relation a b -> (a, b) -> Boolean Source #

indices :: (Ix a, Ix b) => Relation a b -> [(a, b)] Source #

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

elems :: Relation a b -> [Boolean] Source #

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