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 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 MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Associated Types type Source MIP2PBInfo Source # type Target MIP2PBInfo 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 PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PBInequalitiesToEqualitiesInfo Source # type Target PBInequalitiesToEqualitiesInfo Source #
Transformer PBQuadratizeInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type Source PBQuadratizeInfo Source # type Target PBQuadratizeInfo 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 PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.PB2IP Associated Types type Source PB2IPInfo Source # type Target PB2IPInfo Source #
Transformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.PB2IP Associated Types type Source WBO2IPInfo Source # type Target WBO2IPInfo Source #
Transformer SAT2KSATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2KSAT Associated Types type Source SAT2KSATInfo Source # type Target SAT2KSATInfo 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 SAT3ToMaxSAT2Info Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Associated Types type Source SAT3ToMaxSAT2Info Source # type Target SAT3ToMaxSAT2Info Source #
Transformer SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Associated Types type Source SimpleMaxSAT2ToSimpleMaxCutInfo Source # type Target SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Transformer SimplifyMaxSAT2Info Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Associated Types type Source SimplifyMaxSAT2Info Source # type Target SimplifyMaxSAT2Info 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 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 PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PBInequalitiesToEqualitiesInfo -> Source PBInequalitiesToEqualitiesInfo -> Target PBInequalitiesToEqualitiesInfo Source #
ForwardTransformer PBQuadratizeInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformForward :: PBQuadratizeInfo -> Source PBQuadratizeInfo -> Target PBQuadratizeInfo 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 PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.PB2IP Methods transformForward :: PB2IPInfo -> Source PB2IPInfo -> Target PB2IPInfo Source #
ForwardTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.PB2IP Methods transformForward :: WBO2IPInfo -> Source WBO2IPInfo -> Target WBO2IPInfo Source #
ForwardTransformer SAT2KSATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2KSAT Methods transformForward :: SAT2KSATInfo -> Source SAT2KSATInfo -> Target SAT2KSATInfo 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 SAT3ToMaxSAT2Info Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformForward :: SAT3ToMaxSAT2Info -> Source SAT3ToMaxSAT2Info -> Target SAT3ToMaxSAT2Info Source #
ForwardTransformer SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformForward :: SimpleMaxSAT2ToSimpleMaxCutInfo -> Source SimpleMaxSAT2ToSimpleMaxCutInfo -> Target SimpleMaxSAT2ToSimpleMaxCutInfo Source #
ForwardTransformer SimplifyMaxSAT2Info Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformForward :: SimplifyMaxSAT2Info -> Source SimplifyMaxSAT2Info -> Target SimplifyMaxSAT2Info 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 MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods transformBackward :: MIP2PBInfo -> Target MIP2PBInfo -> Source MIP2PBInfo 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 PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PBInequalitiesToEqualitiesInfo -> Target PBInequalitiesToEqualitiesInfo -> Source PBInequalitiesToEqualitiesInfo Source #
BackwardTransformer PBQuadratizeInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformBackward :: PBQuadratizeInfo -> Target PBQuadratizeInfo -> Source PBQuadratizeInfo 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 PB2IPInfo Source #
Instance details Defined in ToySolver.Converter.PB2IP Methods transformBackward :: PB2IPInfo -> Target PB2IPInfo -> Source PB2IPInfo Source #
BackwardTransformer WBO2IPInfo Source #
Instance details Defined in ToySolver.Converter.PB2IP Methods transformBackward :: WBO2IPInfo -> Target WBO2IPInfo -> Source WBO2IPInfo Source #
BackwardTransformer SAT2KSATInfo Source #
Instance details Defined in ToySolver.Converter.SAT2KSAT Methods transformBackward :: SAT2KSATInfo -> Target SAT2KSATInfo -> Source SAT2KSATInfo 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 SAT3ToMaxSAT2Info Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformBackward :: SAT3ToMaxSAT2Info -> Target SAT3ToMaxSAT2Info -> Source SAT3ToMaxSAT2Info Source #
BackwardTransformer SimpleMaxSAT2ToSimpleMaxCutInfo Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformBackward :: SimpleMaxSAT2ToSimpleMaxCutInfo -> Target SimpleMaxSAT2ToSimpleMaxCutInfo -> Source SimpleMaxSAT2ToSimpleMaxCutInfo Source #
BackwardTransformer SimplifyMaxSAT2Info Source #
Instance details Defined in ToySolver.Converter.SAT2MaxSAT Methods transformBackward :: SimplifyMaxSAT2Info -> Target SimplifyMaxSAT2Info -> Source SimplifyMaxSAT2Info 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 MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Associated Types type SourceObjValue MIP2PBInfo Source # type TargetObjValue MIP2PBInfo Source #
ObjValueTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBInequalitiesToEqualitiesInfo Source # type TargetObjValue PBInequalitiesToEqualitiesInfo Source #
ObjValueTransformer PBQuadratizeInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBQuadratizeInfo Source # type TargetObjValue PBQuadratizeInfo Source #
ObjValueTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Associated Types type SourceObjValue PBUnconstrainInfo Source # type TargetObjValue PBUnconstrainInfo 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 MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods transformObjValueForward :: MIP2PBInfo -> SourceObjValue MIP2PBInfo -> TargetObjValue MIP2PBInfo Source #
ObjValueForwardTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBInequalitiesToEqualitiesInfo -> SourceObjValue PBInequalitiesToEqualitiesInfo -> TargetObjValue PBInequalitiesToEqualitiesInfo Source #
ObjValueForwardTransformer PBQuadratizeInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBQuadratizeInfo -> SourceObjValue PBQuadratizeInfo -> TargetObjValue PBQuadratizeInfo Source #
ObjValueForwardTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueForward :: PBUnconstrainInfo -> SourceObjValue PBUnconstrainInfo -> TargetObjValue PBUnconstrainInfo 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 MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods transformObjValueBackward :: MIP2PBInfo -> TargetObjValue MIP2PBInfo -> SourceObjValue MIP2PBInfo Source #
ObjValueBackwardTransformer PBInequalitiesToEqualitiesInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBInequalitiesToEqualitiesInfo -> TargetObjValue PBInequalitiesToEqualitiesInfo -> SourceObjValue PBInequalitiesToEqualitiesInfo Source #
ObjValueBackwardTransformer PBQuadratizeInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBQuadratizeInfo -> TargetObjValue PBQuadratizeInfo -> SourceObjValue PBQuadratizeInfo Source #
ObjValueBackwardTransformer PBUnconstrainInfo Source #
Instance details Defined in ToySolver.Converter.PB Methods transformObjValueBackward :: PBUnconstrainInfo -> TargetObjValue PBUnconstrainInfo -> SourceObjValue PBUnconstrainInfo 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

(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

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

data ReversedTransformer t Source #

Constructors

ReversedTransformer t

Instances

Instances details

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