| Copyright | (c) Masahiro Sakai 2012 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
ToySolver.Text.GCNF
Contents
Description
References:
- data GCNF = GCNF {
- numVars :: !Int
- numClauses :: !Int
- lastGroupIndex :: !GroupIndex
- clauses :: [GClause]
- type GroupIndex = Int
- type GClause = (GroupIndex, Clause)
- parseString :: String -> Either String GCNF
- parseFile :: FilePath -> IO (Either String GCNF)
Documentation
Constructors
| GCNF | |
Fields
| |
type GroupIndex = Int Source
type GClause = (GroupIndex, Clause) Source