{-# OPTIONS_GHC -Wall #-}
module ToySolver.Text.WCNF {-# DEPRECATED "Use ToySolver.FileFormat.CNF instead" #-}
(
WCNF (..)
, WeightedClause
, Weight
, parseFile
, parseByteString
, writeFile
, hPutWCNF
, wcnfBuilder
) 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 WCNF
parseByteString = parse
{-# DEPRECATED wcnfBuilder "Use FileFormat.render instead" #-}
wcnfBuilder :: WCNF -> Builder
wcnfBuilder = render
{-# DEPRECATED hPutWCNF "Use FileFormat.render instead" #-}
hPutWCNF :: Handle -> WCNF -> IO ()
hPutWCNF h wcnf = hPutBuilder h (wcnfBuilder wcnf)