Copyright	(c) Masahiro Sakai 2018
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	MonoLocalBinds TypeFamilies OverloadedStrings FlexibleContexts KindSignatures TypeOperators ExplicitNamespaces

ToySolver.Converter.Base

Description

Documentation

class (Eq a, Show a) => Transformer a Source #

Associated Types

type Source a Source #

type Target a Source #

Instances

Instances details

Transformer GCNF2MaxSATInfo Source #
Instance details Defined in ToySolver.Converter.GCNF2MaxSAT Associated Types type Source GCNF2MaxSATInfo Source # type Target GCNF2MaxSATInfo Source #
Transformer IP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP Associated Types type Source IP2PBInfo Source # type Target IP2PBInfo Source #
Transformer PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Associated Types type Source PB2IPInfo Source # type Target PB2IPInfo Source #
Transformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Associated Types type Source WBO2IPInfo Source # type Target WBO2IPInfo Source #
Transformer NAESAT2NAEKSATInfo Source #
Instance details Defined in ToySolver.Converter.NAESAT Associated Types type Source NAESAT2NAEKSATInfo Source # type Target NAESAT2NAEKSATInfo Source #
Transformer SAT2NAESATInfo Source #
Instance details Defined in ToySolver.Converter.NAESAT Associated Types type Source SAT2NAESATInfo Source # type Target SAT2NAESATInfo Source #
Transformer PB2WBOInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PB2WBOInfo Source # type Target PB2WBOInfo Source #
Transformer PBIdentityInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PBIdentityInfo Source # type Target PBIdentityInfo Source #
Transformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PBInequalitiesToEqualitiesInfo Source # type Target PBInequalitiesToEqualitiesInfo Source #
Transformer PBTseitinInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PBTseitinInfo Source # type Target PBTseitinInfo Source #
Transformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PBUnconstrainInfo Source # type Target PBUnconstrainInfo Source #
Transformer WBO2PBInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source WBO2PBInfo Source # type Target WBO2PBInfo Source #
Transformer IS2SATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Associated Types type Source IS2SATInfo Source # type Target IS2SATInfo Source #
Transformer SAT3ToISInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Associated Types type Source SAT3ToISInfo Source # type Target SAT3ToISInfo Source #
Transformer NAE3SAT2MaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxCut Associated Types type Source NAE3SAT2MaxCutInfo Source # type Target NAE3SAT2MaxCutInfo Source #
Transformer SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Associated Types type Source SimpleMaxSAT2ToSimpleMaxCutInfo Source # type Target SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Transformer TseitinInfo Source #
Instance details Defined in ToySolver.Converter.Tseitin Associated Types type Source TseitinInfo Source # type Target TseitinInfo Source #
Transformer DualizeInfo Source #
Instance details Defined in ToySolver.SDP Associated Types type Source DualizeInfo Source # type Target DualizeInfo Source #
Transformer (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type Source (IdentityTransformer a) Source # type Target (IdentityTransformer a) Source #
Transformer t => Transformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type Source (ReversedTransformer t) Source # type Target (ReversedTransformer t) Source #
(Eq a, Show a) => Transformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (Ising2QUBOInfo a) Source # type Target (Ising2QUBOInfo a) Source #
Transformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (PBAsQUBOInfo a) Source # type Target (PBAsQUBOInfo a) Source #
(Eq a, Show a) => Transformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (QUBO2IsingInfo a) Source # type Target (QUBO2IsingInfo a) Source #
(Eq a, Show a, Read a) => Transformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (QUBO2PBInfo a) Source # type Target (QUBO2PBInfo a) Source #
(Transformer a, Transformer b, Target a ~ Source b) => Transformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type Source (ComposedTransformer a b) Source # type Target (ComposedTransformer a b) Source #

class Transformer a => ForwardTransformer a where Source #

Methods

transformForward :: a -> Source a -> Target a Source #

Instances

Instances details

ForwardTransformer IP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformForward :: IP2PBInfo -> Source IP2PBInfo -> Target IP2PBInfo Source #
ForwardTransformer PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformForward :: PB2IPInfo -> Source PB2IPInfo -> Target PB2IPInfo Source #
ForwardTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformForward :: WBO2IPInfo -> Source WBO2IPInfo -> Target WBO2IPInfo Source #
ForwardTransformer NAESAT2NAEKSATInfo Source #
Instance details Defined in ToySolver.Converter.NAESAT Methods transformForward :: NAESAT2NAEKSATInfo -> Source NAESAT2NAEKSATInfo -> Target NAESAT2NAEKSATInfo Source #
ForwardTransformer SAT2NAESATInfo Source #
Instance details Defined in ToySolver.Converter.NAESAT Methods transformForward :: SAT2NAESATInfo -> Source SAT2NAESATInfo -> Target SAT2NAESATInfo Source #
ForwardTransformer PB2WBOInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PB2WBOInfo -> Source PB2WBOInfo -> Target PB2WBOInfo Source #
ForwardTransformer PBIdentityInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PBIdentityInfo -> Source PBIdentityInfo -> Target PBIdentityInfo Source #
ForwardTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PBInequalitiesToEqualitiesInfo -> Source PBInequalitiesToEqualitiesInfo -> Target PBInequalitiesToEqualitiesInfo Source #
ForwardTransformer PBTseitinInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PBTseitinInfo -> Source PBTseitinInfo -> Target PBTseitinInfo Source #
ForwardTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PBUnconstrainInfo -> Source PBUnconstrainInfo -> Target PBUnconstrainInfo Source #
ForwardTransformer WBO2PBInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: WBO2PBInfo -> Source WBO2PBInfo -> Target WBO2PBInfo Source #
ForwardTransformer IS2SATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Methods transformForward :: IS2SATInfo -> Source IS2SATInfo -> Target IS2SATInfo Source #
ForwardTransformer SAT3ToISInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Methods transformForward :: SAT3ToISInfo -> Source SAT3ToISInfo -> Target SAT3ToISInfo Source #
ForwardTransformer NAE3SAT2MaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxCut Methods transformForward :: NAE3SAT2MaxCutInfo -> Source NAE3SAT2MaxCutInfo -> Target NAE3SAT2MaxCutInfo Source #
ForwardTransformer SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformForward :: SimpleMaxSAT2ToSimpleMaxCutInfo -> Source SimpleMaxSAT2ToSimpleMaxCutInfo -> Target SimpleMaxSAT2ToSimpleMaxCutInfo Source #
ForwardTransformer TseitinInfo Source #
Instance details Defined in ToySolver.Converter.Tseitin Methods transformForward :: TseitinInfo -> Source TseitinInfo -> Target TseitinInfo Source #
ForwardTransformer DualizeInfo Source #
Instance details Defined in ToySolver.SDP Methods transformForward :: DualizeInfo -> Source DualizeInfo -> Target DualizeInfo Source #
ForwardTransformer (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformForward :: IdentityTransformer a -> Source (IdentityTransformer a) -> Target (IdentityTransformer a) Source #
BackwardTransformer t => ForwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformForward :: ReversedTransformer t -> Source (ReversedTransformer t) -> Target (ReversedTransformer t) Source #
(Eq a, Show a) => ForwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: Ising2QUBOInfo a -> Source (Ising2QUBOInfo a) -> Target (Ising2QUBOInfo a) Source #
ForwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: PBAsQUBOInfo a -> Source (PBAsQUBOInfo a) -> Target (PBAsQUBOInfo a) Source #
(Eq a, Show a) => ForwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: QUBO2IsingInfo a -> Source (QUBO2IsingInfo a) -> Target (QUBO2IsingInfo a) Source #
(Eq a, Show a, Read a) => ForwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: QUBO2PBInfo a -> Source (QUBO2PBInfo a) -> Target (QUBO2PBInfo a) Source #
(ForwardTransformer a, ForwardTransformer b, Target a ~ Source b) => ForwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformForward :: ComposedTransformer a b -> Source (ComposedTransformer a b) -> Target (ComposedTransformer a b) Source #

class Transformer a => BackwardTransformer a where Source #

Methods

transformBackward :: a -> Target a -> Source a Source #

Instances

Instances details

BackwardTransformer GCNF2MaxSATInfo Source #
Instance details Defined in ToySolver.Converter.GCNF2MaxSAT Methods transformBackward :: GCNF2MaxSATInfo -> Target GCNF2MaxSATInfo -> Source GCNF2MaxSATInfo Source #
BackwardTransformer IP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformBackward :: IP2PBInfo -> Target IP2PBInfo -> Source IP2PBInfo Source #
BackwardTransformer PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformBackward :: PB2IPInfo -> Target PB2IPInfo -> Source PB2IPInfo Source #
BackwardTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformBackward :: WBO2IPInfo -> Target WBO2IPInfo -> Source WBO2IPInfo Source #
BackwardTransformer NAESAT2NAEKSATInfo Source #
Instance details Defined in ToySolver.Converter.NAESAT Methods transformBackward :: NAESAT2NAEKSATInfo -> Target NAESAT2NAEKSATInfo -> Source NAESAT2NAEKSATInfo Source #
BackwardTransformer SAT2NAESATInfo Source #
Instance details Defined in ToySolver.Converter.NAESAT Methods transformBackward :: SAT2NAESATInfo -> Target SAT2NAESATInfo -> Source SAT2NAESATInfo Source #
BackwardTransformer PB2WBOInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PB2WBOInfo -> Target PB2WBOInfo -> Source PB2WBOInfo Source #
BackwardTransformer PBIdentityInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PBIdentityInfo -> Target PBIdentityInfo -> Source PBIdentityInfo Source #
BackwardTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PBInequalitiesToEqualitiesInfo -> Target PBInequalitiesToEqualitiesInfo -> Source PBInequalitiesToEqualitiesInfo Source #
BackwardTransformer PBTseitinInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PBTseitinInfo -> Target PBTseitinInfo -> Source PBTseitinInfo Source #
BackwardTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PBUnconstrainInfo -> Target PBUnconstrainInfo -> Source PBUnconstrainInfo Source #
BackwardTransformer WBO2PBInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: WBO2PBInfo -> Target WBO2PBInfo -> Source WBO2PBInfo Source #
BackwardTransformer IS2SATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Methods transformBackward :: IS2SATInfo -> Target IS2SATInfo -> Source IS2SATInfo Source #
BackwardTransformer SAT3ToISInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Methods transformBackward :: SAT3ToISInfo -> Target SAT3ToISInfo -> Source SAT3ToISInfo Source #
BackwardTransformer NAE3SAT2MaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxCut Methods transformBackward :: NAE3SAT2MaxCutInfo -> Target NAE3SAT2MaxCutInfo -> Source NAE3SAT2MaxCutInfo Source #
BackwardTransformer SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformBackward :: SimpleMaxSAT2ToSimpleMaxCutInfo -> Target SimpleMaxSAT2ToSimpleMaxCutInfo -> Source SimpleMaxSAT2ToSimpleMaxCutInfo Source #
BackwardTransformer TseitinInfo Source #
Instance details Defined in ToySolver.Converter.Tseitin Methods transformBackward :: TseitinInfo -> Target TseitinInfo -> Source TseitinInfo Source #
BackwardTransformer DualizeInfo Source #
Instance details Defined in ToySolver.SDP Methods transformBackward :: DualizeInfo -> Target DualizeInfo -> Source DualizeInfo Source #
BackwardTransformer (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformBackward :: IdentityTransformer a -> Target (IdentityTransformer a) -> Source (IdentityTransformer a) Source #
ForwardTransformer t => BackwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformBackward :: ReversedTransformer t -> Target (ReversedTransformer t) -> Source (ReversedTransformer t) Source #
(Eq a, Show a) => BackwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: Ising2QUBOInfo a -> Target (Ising2QUBOInfo a) -> Source (Ising2QUBOInfo a) Source #
BackwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: PBAsQUBOInfo a -> Target (PBAsQUBOInfo a) -> Source (PBAsQUBOInfo a) Source #
(Eq a, Show a) => BackwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: QUBO2IsingInfo a -> Target (QUBO2IsingInfo a) -> Source (QUBO2IsingInfo a) Source #
(Eq a, Show a, Read a) => BackwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: QUBO2PBInfo a -> Target (QUBO2PBInfo a) -> Source (QUBO2PBInfo a) Source #
(BackwardTransformer a, BackwardTransformer b, Target a ~ Source b) => BackwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformBackward :: ComposedTransformer a b -> Target (ComposedTransformer a b) -> Source (ComposedTransformer a b) Source #

class ObjValueTransformer a Source #

Associated Types

type SourceObjValue a Source #

type TargetObjValue a Source #

Instances

Instances details

ObjValueTransformer IP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP Associated Types type SourceObjValue IP2PBInfo Source # type TargetObjValue IP2PBInfo Source #
ObjValueTransformer PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Associated Types type SourceObjValue PB2IPInfo Source # type TargetObjValue PB2IPInfo Source #
ObjValueTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Associated Types type SourceObjValue WBO2IPInfo Source # type TargetObjValue WBO2IPInfo Source #
ObjValueTransformer PB2WBOInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PB2WBOInfo Source # type TargetObjValue PB2WBOInfo Source #
ObjValueTransformer PBIdentityInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBIdentityInfo Source # type TargetObjValue PBIdentityInfo Source #
ObjValueTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBInequalitiesToEqualitiesInfo Source # type TargetObjValue PBInequalitiesToEqualitiesInfo Source #
ObjValueTransformer PBTseitinInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBTseitinInfo Source # type TargetObjValue PBTseitinInfo Source #
ObjValueTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBUnconstrainInfo Source # type TargetObjValue PBUnconstrainInfo Source #
ObjValueTransformer WBO2PBInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue WBO2PBInfo Source # type TargetObjValue WBO2PBInfo Source #
ObjValueTransformer IS2SATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Associated Types type SourceObjValue IS2SATInfo Source # type TargetObjValue IS2SATInfo Source #
ObjValueTransformer t => ObjValueTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type SourceObjValue (ReversedTransformer t) Source # type TargetObjValue (ReversedTransformer t) Source #
(Eq a, Show a) => ObjValueTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (Ising2QUBOInfo a) Source # type TargetObjValue (Ising2QUBOInfo a) Source #
ObjValueTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (PBAsQUBOInfo a) Source # type TargetObjValue (PBAsQUBOInfo a) Source #
ObjValueTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (QUBO2IsingInfo a) Source # type TargetObjValue (QUBO2IsingInfo a) Source #
(Eq a, Show a, Read a) => ObjValueTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (QUBO2PBInfo a) Source # type TargetObjValue (QUBO2PBInfo a) Source #
(ObjValueTransformer a, ObjValueTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type SourceObjValue (ComposedTransformer a b) Source # type TargetObjValue (ComposedTransformer a b) Source #

class ObjValueTransformer a => ObjValueForwardTransformer a where Source #

Methods

transformObjValueForward :: a -> SourceObjValue a -> TargetObjValue a Source #

Instances

Instances details

ObjValueForwardTransformer IP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformObjValueForward :: IP2PBInfo -> SourceObjValue IP2PBInfo -> TargetObjValue IP2PBInfo Source #
ObjValueForwardTransformer PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformObjValueForward :: PB2IPInfo -> SourceObjValue PB2IPInfo -> TargetObjValue PB2IPInfo Source #
ObjValueForwardTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformObjValueForward :: WBO2IPInfo -> SourceObjValue WBO2IPInfo -> TargetObjValue WBO2IPInfo Source #
ObjValueForwardTransformer PB2WBOInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PB2WBOInfo -> SourceObjValue PB2WBOInfo -> TargetObjValue PB2WBOInfo Source #
ObjValueForwardTransformer PBIdentityInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBIdentityInfo -> SourceObjValue PBIdentityInfo -> TargetObjValue PBIdentityInfo Source #
ObjValueForwardTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBInequalitiesToEqualitiesInfo -> SourceObjValue PBInequalitiesToEqualitiesInfo -> TargetObjValue PBInequalitiesToEqualitiesInfo Source #
ObjValueForwardTransformer PBTseitinInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBTseitinInfo -> SourceObjValue PBTseitinInfo -> TargetObjValue PBTseitinInfo Source #
ObjValueForwardTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBUnconstrainInfo -> SourceObjValue PBUnconstrainInfo -> TargetObjValue PBUnconstrainInfo Source #
ObjValueForwardTransformer WBO2PBInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: WBO2PBInfo -> SourceObjValue WBO2PBInfo -> TargetObjValue WBO2PBInfo Source #
ObjValueForwardTransformer IS2SATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Methods transformObjValueForward :: IS2SATInfo -> SourceObjValue IS2SATInfo -> TargetObjValue IS2SATInfo Source #
ObjValueBackwardTransformer t => ObjValueForwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueForward :: ReversedTransformer t -> SourceObjValue (ReversedTransformer t) -> TargetObjValue (ReversedTransformer t) Source #
(Eq a, Show a, Num a) => ObjValueForwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: Ising2QUBOInfo a -> SourceObjValue (Ising2QUBOInfo a) -> TargetObjValue (Ising2QUBOInfo a) Source #
Num a => ObjValueForwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: PBAsQUBOInfo a -> SourceObjValue (PBAsQUBOInfo a) -> TargetObjValue (PBAsQUBOInfo a) Source #
(Eq a, Show a, Num a) => ObjValueForwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: QUBO2IsingInfo a -> SourceObjValue (QUBO2IsingInfo a) -> TargetObjValue (QUBO2IsingInfo a) Source #
(Eq a, Show a, Read a, Real a) => ObjValueForwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: QUBO2PBInfo a -> SourceObjValue (QUBO2PBInfo a) -> TargetObjValue (QUBO2PBInfo a) Source #
(ObjValueForwardTransformer a, ObjValueForwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueForwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueForward :: ComposedTransformer a b -> SourceObjValue (ComposedTransformer a b) -> TargetObjValue (ComposedTransformer a b) Source #

class ObjValueTransformer a => ObjValueBackwardTransformer a where Source #

Methods

transformObjValueBackward :: a -> TargetObjValue a -> SourceObjValue a Source #

Instances

Instances details

ObjValueBackwardTransformer IP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformObjValueBackward :: IP2PBInfo -> TargetObjValue IP2PBInfo -> SourceObjValue IP2PBInfo Source #
ObjValueBackwardTransformer PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformObjValueBackward :: PB2IPInfo -> TargetObjValue PB2IPInfo -> SourceObjValue PB2IPInfo Source #
ObjValueBackwardTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.MIP Methods transformObjValueBackward :: WBO2IPInfo -> TargetObjValue WBO2IPInfo -> SourceObjValue WBO2IPInfo Source #
ObjValueBackwardTransformer PB2WBOInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PB2WBOInfo -> TargetObjValue PB2WBOInfo -> SourceObjValue PB2WBOInfo Source #
ObjValueBackwardTransformer PBIdentityInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBIdentityInfo -> TargetObjValue PBIdentityInfo -> SourceObjValue PBIdentityInfo Source #
ObjValueBackwardTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBInequalitiesToEqualitiesInfo -> TargetObjValue PBInequalitiesToEqualitiesInfo -> SourceObjValue PBInequalitiesToEqualitiesInfo Source #
ObjValueBackwardTransformer PBTseitinInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBTseitinInfo -> TargetObjValue PBTseitinInfo -> SourceObjValue PBTseitinInfo Source #
ObjValueBackwardTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBUnconstrainInfo -> TargetObjValue PBUnconstrainInfo -> SourceObjValue PBUnconstrainInfo Source #
ObjValueBackwardTransformer WBO2PBInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: WBO2PBInfo -> TargetObjValue WBO2PBInfo -> SourceObjValue WBO2PBInfo Source #
ObjValueBackwardTransformer IS2SATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MIS Methods transformObjValueBackward :: IS2SATInfo -> TargetObjValue IS2SATInfo -> SourceObjValue IS2SATInfo Source #
ObjValueForwardTransformer t => ObjValueBackwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueBackward :: ReversedTransformer t -> TargetObjValue (ReversedTransformer t) -> SourceObjValue (ReversedTransformer t) Source #
(Eq a, Show a, Num a) => ObjValueBackwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: Ising2QUBOInfo a -> TargetObjValue (Ising2QUBOInfo a) -> SourceObjValue (Ising2QUBOInfo a) Source #
Real a => ObjValueBackwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: PBAsQUBOInfo a -> TargetObjValue (PBAsQUBOInfo a) -> SourceObjValue (PBAsQUBOInfo a) Source #
(Eq a, Show a, Num a) => ObjValueBackwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: QUBO2IsingInfo a -> TargetObjValue (QUBO2IsingInfo a) -> SourceObjValue (QUBO2IsingInfo a) Source #
(Eq a, Show a, Read a, Num a) => ObjValueBackwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: QUBO2PBInfo a -> TargetObjValue (QUBO2PBInfo a) -> SourceObjValue (QUBO2PBInfo a) Source #
(ObjValueBackwardTransformer a, ObjValueBackwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueBackwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueBackward :: ComposedTransformer a b -> TargetObjValue (ComposedTransformer a b) -> SourceObjValue (ComposedTransformer a b) Source #

data ComposedTransformer a b Source #

Constructors

ComposedTransformer a b

Instances

Instances details

(FromJSON a, FromJSON b) => FromJSON (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods parseJSON :: Value -> Parser (ComposedTransformer a b) # parseJSONList :: Value -> Parser [ComposedTransformer a b] # omittedField :: Maybe (ComposedTransformer a b) #
(ToJSON a, ToJSON b) => ToJSON (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods toJSON :: ComposedTransformer a b -> Value # toEncoding :: ComposedTransformer a b -> Encoding # toJSONList :: [ComposedTransformer a b] -> Value # toEncodingList :: [ComposedTransformer a b] -> Encoding # omitField :: ComposedTransformer a b -> Bool #
(Read a, Read b) => Read (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods readsPrec :: Int -> ReadS (ComposedTransformer a b) # readList :: ReadS [ComposedTransformer a b] # readPrec :: ReadPrec (ComposedTransformer a b) # readListPrec :: ReadPrec [ComposedTransformer a b] #
(Show a, Show b) => Show (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods showsPrec :: Int -> ComposedTransformer a b -> ShowS # show :: ComposedTransformer a b -> String # showList :: [ComposedTransformer a b] -> ShowS #
(Eq a, Eq b) => Eq (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods (==) :: ComposedTransformer a b -> ComposedTransformer a b -> Bool # (/=) :: ComposedTransformer a b -> ComposedTransformer a b -> Bool #
(BackwardTransformer a, BackwardTransformer b, Target a ~ Source b) => BackwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformBackward :: ComposedTransformer a b -> Target (ComposedTransformer a b) -> Source (ComposedTransformer a b) Source #
(ForwardTransformer a, ForwardTransformer b, Target a ~ Source b) => ForwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformForward :: ComposedTransformer a b -> Source (ComposedTransformer a b) -> Target (ComposedTransformer a b) Source #
(ObjValueBackwardTransformer a, ObjValueBackwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueBackwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueBackward :: ComposedTransformer a b -> TargetObjValue (ComposedTransformer a b) -> SourceObjValue (ComposedTransformer a b) Source #
(ObjValueForwardTransformer a, ObjValueForwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueForwardTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueForward :: ComposedTransformer a b -> SourceObjValue (ComposedTransformer a b) -> TargetObjValue (ComposedTransformer a b) Source #
(ObjValueTransformer a, ObjValueTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueTransformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type SourceObjValue (ComposedTransformer a b) Source # type TargetObjValue (ComposedTransformer a b) Source #
(Transformer a, Transformer b, Target a ~ Source b) => Transformer (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type Source (ComposedTransformer a b) Source # type Target (ComposedTransformer a b) Source #
type Source (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base type Source (ComposedTransformer a b) = Source a
type SourceObjValue (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base type SourceObjValue (ComposedTransformer a b) = SourceObjValue a
type Target (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base type Target (ComposedTransformer a b) = Target b
type TargetObjValue (ComposedTransformer a b) Source #
Instance details Defined in ToySolver.Converter.Base type TargetObjValue (ComposedTransformer a b) = TargetObjValue b

data IdentityTransformer a Source #

Constructors

IdentityTransformer

Instances

Instances details

FromJSON (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods parseJSON :: Value -> Parser (IdentityTransformer a) # parseJSONList :: Value -> Parser [IdentityTransformer a] # omittedField :: Maybe (IdentityTransformer a) #
ToJSON (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods toJSON :: IdentityTransformer a -> Value # toEncoding :: IdentityTransformer a -> Encoding # toJSONList :: [IdentityTransformer a] -> Value # toEncodingList :: [IdentityTransformer a] -> Encoding # omitField :: IdentityTransformer a -> Bool #
Read (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods readsPrec :: Int -> ReadS (IdentityTransformer a) # readList :: ReadS [IdentityTransformer a] # readPrec :: ReadPrec (IdentityTransformer a) # readListPrec :: ReadPrec [IdentityTransformer a] #
Show (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods showsPrec :: Int -> IdentityTransformer a -> ShowS # show :: IdentityTransformer a -> String # showList :: [IdentityTransformer a] -> ShowS #
Eq (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods (==) :: IdentityTransformer a -> IdentityTransformer a -> Bool # (/=) :: IdentityTransformer a -> IdentityTransformer a -> Bool #
BackwardTransformer (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformBackward :: IdentityTransformer a -> Target (IdentityTransformer a) -> Source (IdentityTransformer a) Source #
ForwardTransformer (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformForward :: IdentityTransformer a -> Source (IdentityTransformer a) -> Target (IdentityTransformer a) Source #
Transformer (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type Source (IdentityTransformer a) Source # type Target (IdentityTransformer a) Source #
type Source (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base type Source (IdentityTransformer a) = a
type Target (IdentityTransformer a) Source #
Instance details Defined in ToySolver.Converter.Base type Target (IdentityTransformer a) = a

newtype ReversedTransformer t Source #

Constructors

ReversedTransformer t

Instances

Instances details

FromJSON t => FromJSON (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods parseJSON :: Value -> Parser (ReversedTransformer t) # parseJSONList :: Value -> Parser [ReversedTransformer t] # omittedField :: Maybe (ReversedTransformer t) #
ToJSON t => ToJSON (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods toJSON :: ReversedTransformer t -> Value # toEncoding :: ReversedTransformer t -> Encoding # toJSONList :: [ReversedTransformer t] -> Value # toEncodingList :: [ReversedTransformer t] -> Encoding # omitField :: ReversedTransformer t -> Bool #
Read t => Read (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods readsPrec :: Int -> ReadS (ReversedTransformer t) # readList :: ReadS [ReversedTransformer t] # readPrec :: ReadPrec (ReversedTransformer t) # readListPrec :: ReadPrec [ReversedTransformer t] #
Show t => Show (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods showsPrec :: Int -> ReversedTransformer t -> ShowS # show :: ReversedTransformer t -> String # showList :: [ReversedTransformer t] -> ShowS #
Eq t => Eq (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods (==) :: ReversedTransformer t -> ReversedTransformer t -> Bool # (/=) :: ReversedTransformer t -> ReversedTransformer t -> Bool #
ForwardTransformer t => BackwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformBackward :: ReversedTransformer t -> Target (ReversedTransformer t) -> Source (ReversedTransformer t) Source #
BackwardTransformer t => ForwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformForward :: ReversedTransformer t -> Source (ReversedTransformer t) -> Target (ReversedTransformer t) Source #
ObjValueForwardTransformer t => ObjValueBackwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueBackward :: ReversedTransformer t -> TargetObjValue (ReversedTransformer t) -> SourceObjValue (ReversedTransformer t) Source #
ObjValueBackwardTransformer t => ObjValueForwardTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Methods transformObjValueForward :: ReversedTransformer t -> SourceObjValue (ReversedTransformer t) -> TargetObjValue (ReversedTransformer t) Source #
ObjValueTransformer t => ObjValueTransformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type SourceObjValue (ReversedTransformer t) Source # type TargetObjValue (ReversedTransformer t) Source #
Transformer t => Transformer (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base Associated Types type Source (ReversedTransformer t) Source # type Target (ReversedTransformer t) Source #
type Source (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base type Source (ReversedTransformer t) = Target t
type SourceObjValue (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base type SourceObjValue (ReversedTransformer t) = TargetObjValue t
type Target (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base type Target (ReversedTransformer t) = Source t
type TargetObjValue (ReversedTransformer t) Source #
Instance details Defined in ToySolver.Converter.Base type TargetObjValue (ReversedTransformer t) = SourceObjValue t