Satchmo.Relation.Op
mirror :: (Ix a, Ix b) => Relation a b -> Relation b a Source #
union :: (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m (Relation a b) Source #
complement :: (Ix a, Ix b) => Relation a b -> Relation a b Source #
product :: (Ix a, Ix b, Ix c, MonadSAT m) => Relation a b -> Relation b c -> m (Relation a c) Source #
power :: (Ix a, MonadSAT m) => Int -> Relation a a -> m (Relation a a) Source #
intersection :: (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m (Relation a b) Source #