{-# OPTIONS_GHC -Wall #-}
module ToySolver.Text.QDimacs {-# DEPRECATED "Use ToySolver.FileFormat.CNF instead" #-}
( QDimacs (..)
, Quantifier (..)
, QuantSet
, Atom
, Lit
, Clause
, PackedClause
, packClause
, unpackClause
, parseFile
, parseByteString
, writeFile
, hPutQDimacs
, qdimacsBuilder
) where
import Prelude hiding (writeFile)
import Data.ByteString.Builder
import qualified Data.ByteString.Lazy.Char8 as BL
import System.IO hiding (writeFile)
import ToySolver.FileFormat.CNF
{-# DEPRECATED parseByteString "Use FileFormat.parse instead" #-}
parseByteString :: BL.ByteString -> Either String QDimacs
parseByteString = parse
{-# DEPRECATED qdimacsBuilder "Use FileFormat.render instead" #-}
qdimacsBuilder :: QDimacs -> Builder
qdimacsBuilder = render
{-# DEPRECATED hPutQDimacs "Use FileFormat.render instead" #-}
hPutQDimacs :: Handle -> QDimacs -> IO ()
hPutQDimacs h qdimacs = hPutBuilder h (qdimacsBuilder qdimacs)