Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.Satisfied
Documentation
data Satisfied_ Source #
Constructors
Satisfied_ | |
Conflicting_ | |
Unit_ !Lit | |
Unresolved_ !Lit !Lit |
Instances
Show Satisfied_ Source # | |
Defined in PureSAT.Satisfied Methods showsPrec :: Int -> Satisfied_ -> ShowS show :: Satisfied_ -> String showList :: [Satisfied_] -> ShowS |
satisfied2_ :: PartialAssignment s -> Clause2 -> (Satisfied_ -> ST s r) -> ST s r Source #