toysolver-0.9.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2016
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • TypeSynonymInstances
  • FlexibleContexts
  • FlexibleInstances
  • ConstrainedClassMethods
  • MultiParamTypeClasses

ToySolver.SAT.Store.CNF

Description

 

Documentation

data CNFStore m Source #

Instances

Instances details
PrimMonad m => AddClause m (CNFStore m) Source # 
Instance details

Defined in ToySolver.SAT.Store.CNF

Methods

addClause :: CNFStore m -> Clause -> m () Source #

PrimMonad m => NewVar m (CNFStore m) Source # 
Instance details

Defined in ToySolver.SAT.Store.CNF

Methods

newVar :: CNFStore m -> m Var Source #

newVars :: CNFStore m -> Int -> m [Var] Source #

newVars_ :: CNFStore m -> Int -> m () Source #

newCNFStore :: PrimMonad m => m (CNFStore m) Source #

getCNFFormula :: PrimMonad m => CNFStore m -> m CNF Source #