satchmo-1.8.0: SAT encoding monad

Satchmo.Relation.Op

Documentation

mirror :: (Ix a, Ix b) => Relation a b -> Relation b aSource

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 bSource

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

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