toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2011-2013
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.Data.DNF

Description

Disjunctive Normal Form

Synopsis

Documentation

newtype DNF lit Source

Disjunctive normal form

Constructors

DNF 

Fields

unDNF :: [[lit]]

list of conjunction of literals

Instances

Show lit => Show (DNF lit) 
Complement lit => Boolean (DNF lit) 
Complement lit => Complement (DNF lit) 
MonotoneBoolean (DNF lit)