| Copyright | (c) Masahiro Sakai 2011-2015 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.PseudoBoolean.Builder
Description
Synopsis
- opbBuilder :: (Monoid a, IsString a) => Formula -> a
- wboBuilder :: (Monoid a, IsString a) => SoftFormula -> a
- toOPBString :: Formula -> String
- toWBOString :: SoftFormula -> String
Builder for String-like Monoid
opbBuilder :: (Monoid a, IsString a) => Formula -> a Source #
A builder which renders a OPB format in any String-like Monoid.
wboBuilder :: (Monoid a, IsString a) => SoftFormula -> a Source #
A builder which renders a WBO format in any String-like Monoid.
String generation
toOPBString :: Formula -> String Source #
Generate a OPB format string containing pseudo boolean problem.
toWBOString :: SoftFormula -> String Source #
Generate a WBO format string containing weighted boolean optimization problem.