satchmo-2.9.4: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.Relation.Prop

Documentation

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

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

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

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

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

regular :: (Ix a, MonadSAT m) => Int -> Relation a a -> m Boolean Source

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

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

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

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