| 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 #