toysolver-0.9.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2017
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityexprimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • TypeFamilies
  • OverloadedStrings
  • KindSignatures
  • ExplicitNamespaces

ToySolver.SDP

Description

Synopsis

Documentation

dualize :: Problem -> (Problem, DualizeInfo) Source #

Given a primal-dual pair (P), (D), it returns another primal-dual pair (P'), (D') such that (P) is equivalent to (D') and (D) is equivalent to (P').

data DualizeInfo Source #

Constructors

DualizeInfo Int [Int] 

Instances

Instances details
FromJSON DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

ToJSON DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

Read DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

Show DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

Eq DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

BackwardTransformer DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

ForwardTransformer DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

Transformer DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

Associated Types

type Source DualizeInfo Source #

type Target DualizeInfo Source #

type Source DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP

type Target DualizeInfo Source # 
Instance details

Defined in ToySolver.SDP