satchmo-2.8.2: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.Set.Op

Documentation

null :: (Ord a, MonadSAT m) => Set a -> m Boolean Source

equals :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source

isSubsetOf :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source

isSupersetOf :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source

isSingleton :: (Ord a, MonadSAT m) => Set a -> m Boolean Source

isDisjoint :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source

union :: (Ord a, MonadSAT m) => Set a -> Set a -> m (Set a) Source

intersection :: (Ord a, MonadSAT m) => Set a -> Set a -> m (Set a) Source

difference :: (Ord a, MonadSAT m) => Set a -> Set a -> m (Set a) Source