ToySolver.Converter.Base

Documentation

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

Associated Types

type Source a

type Target a

Instances

Transformer TseitinInfo

Defined in ToySolver.Converter.Tseitin

Associated Types

type Source TseitinInfo :: Type

type Target TseitinInfo :: Type

Transformer SAT2KSATInfo

Defined in ToySolver.Converter.SAT2KSAT

Associated Types

type Source SAT2KSATInfo :: Type

type Target SAT2KSATInfo :: Type

Transformer SimpleMaxSAT2ToSimpleMaxCutInfo

Defined in ToySolver.Converter.SAT2MaxSAT

Associated Types

type Source SimpleMaxSAT2ToSimpleMaxCutInfo :: Type

type Target SimpleMaxSAT2ToSimpleMaxCutInfo :: Type

Transformer SimplifyMaxSAT2Info

Defined in ToySolver.Converter.SAT2MaxSAT

Associated Types

type Source SimplifyMaxSAT2Info :: Type

type Target SimplifyMaxSAT2Info :: Type

Transformer SAT3ToMaxSAT2Info

Defined in ToySolver.Converter.SAT2MaxSAT

Associated Types

type Source SAT3ToMaxSAT2Info :: Type

type Target SAT3ToMaxSAT2Info :: Type

Transformer WBO2PBInfo

Defined in ToySolver.Converter.PB

Associated Types

type Source WBO2PBInfo :: Type

type Target WBO2PBInfo :: Type

Transformer PBUnconstrainInfo

Defined in ToySolver.Converter.PB

Associated Types

type Source PBUnconstrainInfo :: Type

type Target PBUnconstrainInfo :: Type

Transformer PBInequalitiesToEqualitiesInfo

Defined in ToySolver.Converter.PB

Associated Types

type Source PBInequalitiesToEqualitiesInfo :: Type

type Target PBInequalitiesToEqualitiesInfo :: Type

Transformer PBQuadratizeInfo

Defined in ToySolver.Converter.PB

Associated Types

type Source PBQuadratizeInfo :: Type

type Target PBQuadratizeInfo :: Type

Transformer WBO2IPInfo

Defined in ToySolver.Converter.PB2IP

Associated Types

type Source WBO2IPInfo :: Type

type Target WBO2IPInfo :: Type

Transformer PB2IPInfo

Defined in ToySolver.Converter.PB2IP

Associated Types

type Source PB2IPInfo :: Type

type Target PB2IPInfo :: Type

Transformer NAESAT2NAEKSATInfo

Defined in ToySolver.Converter.NAESAT

Associated Types

type Source NAESAT2NAEKSATInfo :: Type

type Target NAESAT2NAEKSATInfo :: Type

Transformer SAT2NAESATInfo

Defined in ToySolver.Converter.NAESAT

Associated Types

type Source SAT2NAESATInfo :: Type

type Target SAT2NAESATInfo :: Type

Transformer NAE3SAT2MaxCutInfo

Defined in ToySolver.Converter.SAT2MaxCut

Associated Types

type Source NAE3SAT2MaxCutInfo :: Type

type Target NAE3SAT2MaxCutInfo :: Type

Transformer MIP2PBInfo

Defined in ToySolver.Converter.MIP2PB

Associated Types

type Source MIP2PBInfo :: Type

type Target MIP2PBInfo :: Type

Transformer GCNF2MaxSATInfo

Defined in ToySolver.Converter.GCNF2MaxSAT

Associated Types

type Source GCNF2MaxSATInfo :: Type

type Target GCNF2MaxSATInfo :: Type

Transformer DualizeInfo

Defined in ToySolver.SDP

Associated Types

type Source DualizeInfo :: Type

type Target DualizeInfo :: Type

Transformer t => Transformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Associated Types

type Source (ReversedTransformer t) :: Type

type Target (ReversedTransformer t) :: Type

Transformer (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Associated Types

type Source (IdentityTransformer a) :: Type

type Target (IdentityTransformer a) :: Type

(Eq a, Show a) => Transformer (Ising2QUBOInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (Ising2QUBOInfo a) :: Type

type Target (Ising2QUBOInfo a) :: Type

(Eq a, Show a) => Transformer (QUBO2IsingInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (QUBO2IsingInfo a) :: Type

type Target (QUBO2IsingInfo a) :: Type

Transformer (PBAsQUBOInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (PBAsQUBOInfo a) :: Type

type Target (PBAsQUBOInfo a) :: Type

(Eq a, Show a, Read a) => Transformer (QUBO2PBInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (QUBO2PBInfo a) :: Type

type Target (QUBO2PBInfo a) :: Type

(Transformer a, Transformer b, Target a ~ Source b) => Transformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Associated Types

type Source (ComposedTransformer a b) :: Type

type Target (ComposedTransformer a b) :: Type

class Transformer a => ForwardTransformer a where

Methods

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

Instances

ForwardTransformer TseitinInfo

Defined in ToySolver.Converter.Tseitin

Methods

transformForward :: TseitinInfo -> Source TseitinInfo -> Target TseitinInfo

ForwardTransformer SAT2KSATInfo

Defined in ToySolver.Converter.SAT2KSAT

Methods

transformForward :: SAT2KSATInfo -> Source SAT2KSATInfo -> Target SAT2KSATInfo

ForwardTransformer SimpleMaxSAT2ToSimpleMaxCutInfo

Defined in ToySolver.Converter.SAT2MaxSAT

Methods

transformForward :: SimpleMaxSAT2ToSimpleMaxCutInfo -> Source SimpleMaxSAT2ToSimpleMaxCutInfo -> Target SimpleMaxSAT2ToSimpleMaxCutInfo

ForwardTransformer SimplifyMaxSAT2Info

Defined in ToySolver.Converter.SAT2MaxSAT

Methods

transformForward :: SimplifyMaxSAT2Info -> Source SimplifyMaxSAT2Info -> Target SimplifyMaxSAT2Info

ForwardTransformer SAT3ToMaxSAT2Info

Defined in ToySolver.Converter.SAT2MaxSAT

Methods

transformForward :: SAT3ToMaxSAT2Info -> Source SAT3ToMaxSAT2Info -> Target SAT3ToMaxSAT2Info

ForwardTransformer WBO2PBInfo

Defined in ToySolver.Converter.PB

Methods

transformForward :: WBO2PBInfo -> Source WBO2PBInfo -> Target WBO2PBInfo

ForwardTransformer PBUnconstrainInfo

Defined in ToySolver.Converter.PB

Methods

transformForward :: PBUnconstrainInfo -> Source PBUnconstrainInfo -> Target PBUnconstrainInfo

ForwardTransformer PBInequalitiesToEqualitiesInfo

Defined in ToySolver.Converter.PB

Methods

transformForward :: PBInequalitiesToEqualitiesInfo -> Source PBInequalitiesToEqualitiesInfo -> Target PBInequalitiesToEqualitiesInfo

ForwardTransformer PBQuadratizeInfo

Defined in ToySolver.Converter.PB

Methods

transformForward :: PBQuadratizeInfo -> Source PBQuadratizeInfo -> Target PBQuadratizeInfo

ForwardTransformer WBO2IPInfo

Defined in ToySolver.Converter.PB2IP

Methods

transformForward :: WBO2IPInfo -> Source WBO2IPInfo -> Target WBO2IPInfo

ForwardTransformer PB2IPInfo

Defined in ToySolver.Converter.PB2IP

Methods

transformForward :: PB2IPInfo -> Source PB2IPInfo -> Target PB2IPInfo

ForwardTransformer NAESAT2NAEKSATInfo

Defined in ToySolver.Converter.NAESAT

Methods

transformForward :: NAESAT2NAEKSATInfo -> Source NAESAT2NAEKSATInfo -> Target NAESAT2NAEKSATInfo

ForwardTransformer SAT2NAESATInfo

Defined in ToySolver.Converter.NAESAT

Methods

transformForward :: SAT2NAESATInfo -> Source SAT2NAESATInfo -> Target SAT2NAESATInfo

ForwardTransformer NAE3SAT2MaxCutInfo

Defined in ToySolver.Converter.SAT2MaxCut

Methods

transformForward :: NAE3SAT2MaxCutInfo -> Source NAE3SAT2MaxCutInfo -> Target NAE3SAT2MaxCutInfo

ForwardTransformer DualizeInfo

Defined in ToySolver.SDP

Methods

transformForward :: DualizeInfo -> Source DualizeInfo -> Target DualizeInfo

BackwardTransformer t => ForwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformForward :: ReversedTransformer t -> Source (ReversedTransformer t) -> Target (ReversedTransformer t)

ForwardTransformer (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Methods

transformForward :: IdentityTransformer a -> Source (IdentityTransformer a) -> Target (IdentityTransformer a)

(Eq a, Show a) => ForwardTransformer (Ising2QUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: Ising2QUBOInfo a -> Source (Ising2QUBOInfo a) -> Target (Ising2QUBOInfo a)

(Eq a, Show a) => ForwardTransformer (QUBO2IsingInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: QUBO2IsingInfo a -> Source (QUBO2IsingInfo a) -> Target (QUBO2IsingInfo a)

ForwardTransformer (PBAsQUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: PBAsQUBOInfo a -> Source (PBAsQUBOInfo a) -> Target (PBAsQUBOInfo a)

(Eq a, Show a, Read a) => ForwardTransformer (QUBO2PBInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: QUBO2PBInfo a -> Source (QUBO2PBInfo a) -> Target (QUBO2PBInfo a)

(ForwardTransformer a, ForwardTransformer b, Target a ~ Source b) => ForwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformForward :: ComposedTransformer a b -> Source (ComposedTransformer a b) -> Target (ComposedTransformer a b)

class Transformer a => BackwardTransformer a where

Methods

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

Instances

BackwardTransformer TseitinInfo

Defined in ToySolver.Converter.Tseitin

Methods

transformBackward :: TseitinInfo -> Target TseitinInfo -> Source TseitinInfo

BackwardTransformer SAT2KSATInfo

Defined in ToySolver.Converter.SAT2KSAT

Methods

transformBackward :: SAT2KSATInfo -> Target SAT2KSATInfo -> Source SAT2KSATInfo

BackwardTransformer SimpleMaxSAT2ToSimpleMaxCutInfo

Defined in ToySolver.Converter.SAT2MaxSAT

Methods

transformBackward :: SimpleMaxSAT2ToSimpleMaxCutInfo -> Target SimpleMaxSAT2ToSimpleMaxCutInfo -> Source SimpleMaxSAT2ToSimpleMaxCutInfo

BackwardTransformer SimplifyMaxSAT2Info

Defined in ToySolver.Converter.SAT2MaxSAT

Methods

transformBackward :: SimplifyMaxSAT2Info -> Target SimplifyMaxSAT2Info -> Source SimplifyMaxSAT2Info

BackwardTransformer SAT3ToMaxSAT2Info

Defined in ToySolver.Converter.SAT2MaxSAT

Methods

transformBackward :: SAT3ToMaxSAT2Info -> Target SAT3ToMaxSAT2Info -> Source SAT3ToMaxSAT2Info

BackwardTransformer WBO2PBInfo

Defined in ToySolver.Converter.PB

Methods

transformBackward :: WBO2PBInfo -> Target WBO2PBInfo -> Source WBO2PBInfo

BackwardTransformer PBUnconstrainInfo

Defined in ToySolver.Converter.PB

Methods

transformBackward :: PBUnconstrainInfo -> Target PBUnconstrainInfo -> Source PBUnconstrainInfo

BackwardTransformer PBInequalitiesToEqualitiesInfo

Defined in ToySolver.Converter.PB

Methods

transformBackward :: PBInequalitiesToEqualitiesInfo -> Target PBInequalitiesToEqualitiesInfo -> Source PBInequalitiesToEqualitiesInfo

BackwardTransformer PBQuadratizeInfo

Defined in ToySolver.Converter.PB

Methods

transformBackward :: PBQuadratizeInfo -> Target PBQuadratizeInfo -> Source PBQuadratizeInfo

BackwardTransformer WBO2IPInfo

Defined in ToySolver.Converter.PB2IP

Methods

transformBackward :: WBO2IPInfo -> Target WBO2IPInfo -> Source WBO2IPInfo

BackwardTransformer PB2IPInfo

Defined in ToySolver.Converter.PB2IP

Methods

transformBackward :: PB2IPInfo -> Target PB2IPInfo -> Source PB2IPInfo

BackwardTransformer NAESAT2NAEKSATInfo

Defined in ToySolver.Converter.NAESAT

Methods

transformBackward :: NAESAT2NAEKSATInfo -> Target NAESAT2NAEKSATInfo -> Source NAESAT2NAEKSATInfo

BackwardTransformer SAT2NAESATInfo

Defined in ToySolver.Converter.NAESAT

Methods

transformBackward :: SAT2NAESATInfo -> Target SAT2NAESATInfo -> Source SAT2NAESATInfo

BackwardTransformer NAE3SAT2MaxCutInfo

Defined in ToySolver.Converter.SAT2MaxCut

Methods

transformBackward :: NAE3SAT2MaxCutInfo -> Target NAE3SAT2MaxCutInfo -> Source NAE3SAT2MaxCutInfo

BackwardTransformer MIP2PBInfo

Defined in ToySolver.Converter.MIP2PB

Methods

transformBackward :: MIP2PBInfo -> Target MIP2PBInfo -> Source MIP2PBInfo

BackwardTransformer GCNF2MaxSATInfo

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

transformBackward :: GCNF2MaxSATInfo -> Target GCNF2MaxSATInfo -> Source GCNF2MaxSATInfo

BackwardTransformer DualizeInfo

Defined in ToySolver.SDP

Methods

transformBackward :: DualizeInfo -> Target DualizeInfo -> Source DualizeInfo

ForwardTransformer t => BackwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformBackward :: ReversedTransformer t -> Target (ReversedTransformer t) -> Source (ReversedTransformer t)

BackwardTransformer (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Methods

transformBackward :: IdentityTransformer a -> Target (IdentityTransformer a) -> Source (IdentityTransformer a)

(Eq a, Show a) => BackwardTransformer (Ising2QUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: Ising2QUBOInfo a -> Target (Ising2QUBOInfo a) -> Source (Ising2QUBOInfo a)

(Eq a, Show a) => BackwardTransformer (QUBO2IsingInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: QUBO2IsingInfo a -> Target (QUBO2IsingInfo a) -> Source (QUBO2IsingInfo a)

BackwardTransformer (PBAsQUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: PBAsQUBOInfo a -> Target (PBAsQUBOInfo a) -> Source (PBAsQUBOInfo a)

(Eq a, Show a, Read a) => BackwardTransformer (QUBO2PBInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: QUBO2PBInfo a -> Target (QUBO2PBInfo a) -> Source (QUBO2PBInfo a)

(BackwardTransformer a, BackwardTransformer b, Target a ~ Source b) => BackwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformBackward :: ComposedTransformer a b -> Target (ComposedTransformer a b) -> Source (ComposedTransformer a b)

class ObjValueTransformer a

Associated Types

type SourceObjValue a

type TargetObjValue a

Instances

ObjValueTransformer PBUnconstrainInfo

Defined in ToySolver.Converter.PB

Associated Types

type SourceObjValue PBUnconstrainInfo :: Type

type TargetObjValue PBUnconstrainInfo :: Type

ObjValueTransformer PBInequalitiesToEqualitiesInfo

Defined in ToySolver.Converter.PB

Associated Types

type SourceObjValue PBInequalitiesToEqualitiesInfo :: Type

type TargetObjValue PBInequalitiesToEqualitiesInfo :: Type

ObjValueTransformer PBQuadratizeInfo

Defined in ToySolver.Converter.PB

Associated Types

type SourceObjValue PBQuadratizeInfo :: Type

type TargetObjValue PBQuadratizeInfo :: Type

ObjValueTransformer MIP2PBInfo

Defined in ToySolver.Converter.MIP2PB

Associated Types

type SourceObjValue MIP2PBInfo :: Type

type TargetObjValue MIP2PBInfo :: Type

ObjValueTransformer t => ObjValueTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Associated Types

type SourceObjValue (ReversedTransformer t) :: Type

type TargetObjValue (ReversedTransformer t) :: Type

(Eq a, Show a) => ObjValueTransformer (Ising2QUBOInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (Ising2QUBOInfo a) :: Type

type TargetObjValue (Ising2QUBOInfo a) :: Type

ObjValueTransformer (QUBO2IsingInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (QUBO2IsingInfo a) :: Type

type TargetObjValue (QUBO2IsingInfo a) :: Type

ObjValueTransformer (PBAsQUBOInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (PBAsQUBOInfo a) :: Type

type TargetObjValue (PBAsQUBOInfo a) :: Type

(Eq a, Show a, Read a) => ObjValueTransformer (QUBO2PBInfo a)

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (QUBO2PBInfo a) :: Type

type TargetObjValue (QUBO2PBInfo a) :: Type

(ObjValueTransformer a, ObjValueTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Associated Types

type SourceObjValue (ComposedTransformer a b) :: Type

type TargetObjValue (ComposedTransformer a b) :: Type

class ObjValueTransformer a => ObjValueForwardTransformer a where

Methods

transformObjValueForward :: a -> SourceObjValue a -> TargetObjValue a

Instances

ObjValueForwardTransformer PBUnconstrainInfo

Defined in ToySolver.Converter.PB

Methods

transformObjValueForward :: PBUnconstrainInfo -> SourceObjValue PBUnconstrainInfo -> TargetObjValue PBUnconstrainInfo

ObjValueForwardTransformer PBInequalitiesToEqualitiesInfo

Defined in ToySolver.Converter.PB

Methods

transformObjValueForward :: PBInequalitiesToEqualitiesInfo -> SourceObjValue PBInequalitiesToEqualitiesInfo -> TargetObjValue PBInequalitiesToEqualitiesInfo

ObjValueForwardTransformer PBQuadratizeInfo

Defined in ToySolver.Converter.PB

Methods

transformObjValueForward :: PBQuadratizeInfo -> SourceObjValue PBQuadratizeInfo -> TargetObjValue PBQuadratizeInfo

ObjValueForwardTransformer MIP2PBInfo

Defined in ToySolver.Converter.MIP2PB

Methods

transformObjValueForward :: MIP2PBInfo -> SourceObjValue MIP2PBInfo -> TargetObjValue MIP2PBInfo

ObjValueBackwardTransformer t => ObjValueForwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformObjValueForward :: ReversedTransformer t -> SourceObjValue (ReversedTransformer t) -> TargetObjValue (ReversedTransformer t)

(Eq a, Show a, Num a) => ObjValueForwardTransformer (Ising2QUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: Ising2QUBOInfo a -> SourceObjValue (Ising2QUBOInfo a) -> TargetObjValue (Ising2QUBOInfo a)

(Eq a, Show a, Num a) => ObjValueForwardTransformer (QUBO2IsingInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: QUBO2IsingInfo a -> SourceObjValue (QUBO2IsingInfo a) -> TargetObjValue (QUBO2IsingInfo a)

Num a => ObjValueForwardTransformer (PBAsQUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: PBAsQUBOInfo a -> SourceObjValue (PBAsQUBOInfo a) -> TargetObjValue (PBAsQUBOInfo a)

(Eq a, Show a, Read a, Real a) => ObjValueForwardTransformer (QUBO2PBInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: QUBO2PBInfo a -> SourceObjValue (QUBO2PBInfo a) -> TargetObjValue (QUBO2PBInfo a)

(ObjValueForwardTransformer a, ObjValueForwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueForwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformObjValueForward :: ComposedTransformer a b -> SourceObjValue (ComposedTransformer a b) -> TargetObjValue (ComposedTransformer a b)

class ObjValueTransformer a => ObjValueBackwardTransformer a where

Methods

transformObjValueBackward :: a -> TargetObjValue a -> SourceObjValue a

Instances

ObjValueBackwardTransformer PBUnconstrainInfo

Defined in ToySolver.Converter.PB

Methods

transformObjValueBackward :: PBUnconstrainInfo -> TargetObjValue PBUnconstrainInfo -> SourceObjValue PBUnconstrainInfo

ObjValueBackwardTransformer PBInequalitiesToEqualitiesInfo

Defined in ToySolver.Converter.PB

Methods

transformObjValueBackward :: PBInequalitiesToEqualitiesInfo -> TargetObjValue PBInequalitiesToEqualitiesInfo -> SourceObjValue PBInequalitiesToEqualitiesInfo

ObjValueBackwardTransformer PBQuadratizeInfo

Defined in ToySolver.Converter.PB

Methods

transformObjValueBackward :: PBQuadratizeInfo -> TargetObjValue PBQuadratizeInfo -> SourceObjValue PBQuadratizeInfo

ObjValueBackwardTransformer MIP2PBInfo

Defined in ToySolver.Converter.MIP2PB

Methods

transformObjValueBackward :: MIP2PBInfo -> TargetObjValue MIP2PBInfo -> SourceObjValue MIP2PBInfo

ObjValueForwardTransformer t => ObjValueBackwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformObjValueBackward :: ReversedTransformer t -> TargetObjValue (ReversedTransformer t) -> SourceObjValue (ReversedTransformer t)

(Eq a, Show a, Num a) => ObjValueBackwardTransformer (Ising2QUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: Ising2QUBOInfo a -> TargetObjValue (Ising2QUBOInfo a) -> SourceObjValue (Ising2QUBOInfo a)

(Eq a, Show a, Num a) => ObjValueBackwardTransformer (QUBO2IsingInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: QUBO2IsingInfo a -> TargetObjValue (QUBO2IsingInfo a) -> SourceObjValue (QUBO2IsingInfo a)

Real a => ObjValueBackwardTransformer (PBAsQUBOInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: PBAsQUBOInfo a -> TargetObjValue (PBAsQUBOInfo a) -> SourceObjValue (PBAsQUBOInfo a)

(Eq a, Show a, Read a, Num a) => ObjValueBackwardTransformer (QUBO2PBInfo a)

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: QUBO2PBInfo a -> TargetObjValue (QUBO2PBInfo a) -> SourceObjValue (QUBO2PBInfo a)

(ObjValueBackwardTransformer a, ObjValueBackwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueBackwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformObjValueBackward :: ComposedTransformer a b -> TargetObjValue (ComposedTransformer a b) -> SourceObjValue (ComposedTransformer a b)

data ComposedTransformer a b

Constructors

ComposedTransformer a b

Instances

(Eq a, Eq b) => Eq (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

(==) :: ComposedTransformer a b -> ComposedTransformer a b -> Bool

(/=) :: ComposedTransformer a b -> ComposedTransformer a b -> Bool

(Read a, Read b) => Read (ComposedTransformer a b)

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)

Defined in ToySolver.Converter.Base

Methods

showsPrec :: Int -> ComposedTransformer a b -> ShowS

show :: ComposedTransformer a b -> String

showList :: [ComposedTransformer a b] -> ShowS

(ObjValueBackwardTransformer a, ObjValueBackwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueBackwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformObjValueBackward :: ComposedTransformer a b -> TargetObjValue (ComposedTransformer a b) -> SourceObjValue (ComposedTransformer a b)

(ObjValueForwardTransformer a, ObjValueForwardTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueForwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformObjValueForward :: ComposedTransformer a b -> SourceObjValue (ComposedTransformer a b) -> TargetObjValue (ComposedTransformer a b)

(ObjValueTransformer a, ObjValueTransformer b, TargetObjValue a ~ SourceObjValue b) => ObjValueTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Associated Types

type SourceObjValue (ComposedTransformer a b) :: Type

type TargetObjValue (ComposedTransformer a b) :: Type

(BackwardTransformer a, BackwardTransformer b, Target a ~ Source b) => BackwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformBackward :: ComposedTransformer a b -> Target (ComposedTransformer a b) -> Source (ComposedTransformer a b)

(ForwardTransformer a, ForwardTransformer b, Target a ~ Source b) => ForwardTransformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Methods

transformForward :: ComposedTransformer a b -> Source (ComposedTransformer a b) -> Target (ComposedTransformer a b)

(Transformer a, Transformer b, Target a ~ Source b) => Transformer (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

Associated Types

type Source (ComposedTransformer a b) :: Type

type Target (ComposedTransformer a b) :: Type

type SourceObjValue (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

type SourceObjValue (ComposedTransformer a b) = SourceObjValue a

type TargetObjValue (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

type TargetObjValue (ComposedTransformer a b) = TargetObjValue b

type Source (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

type Source (ComposedTransformer a b) = Source a

type Target (ComposedTransformer a b)

Defined in ToySolver.Converter.Base

type Target (ComposedTransformer a b) = Target b

data IdentityTransformer a

Constructors

IdentityTransformer

Instances

Eq (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Methods

(==) :: IdentityTransformer a -> IdentityTransformer a -> Bool

(/=) :: IdentityTransformer a -> IdentityTransformer a -> Bool

Read (IdentityTransformer a)

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)

Defined in ToySolver.Converter.Base

Methods

showsPrec :: Int -> IdentityTransformer a -> ShowS

show :: IdentityTransformer a -> String

showList :: [IdentityTransformer a] -> ShowS

BackwardTransformer (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Methods

transformBackward :: IdentityTransformer a -> Target (IdentityTransformer a) -> Source (IdentityTransformer a)

ForwardTransformer (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Methods

transformForward :: IdentityTransformer a -> Source (IdentityTransformer a) -> Target (IdentityTransformer a)

Transformer (IdentityTransformer a)

Defined in ToySolver.Converter.Base

Associated Types

type Source (IdentityTransformer a) :: Type

type Target (IdentityTransformer a) :: Type

type Source (IdentityTransformer a)

Defined in ToySolver.Converter.Base

type Source (IdentityTransformer a) = a

type Target (IdentityTransformer a)

Defined in ToySolver.Converter.Base

type Target (IdentityTransformer a) = a

data ReversedTransformer t

Constructors

ReversedTransformer t

Instances

Eq t => Eq (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

(==) :: ReversedTransformer t -> ReversedTransformer t -> Bool

(/=) :: ReversedTransformer t -> ReversedTransformer t -> Bool

Read t => Read (ReversedTransformer t)

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)

Defined in ToySolver.Converter.Base

Methods

showsPrec :: Int -> ReversedTransformer t -> ShowS

show :: ReversedTransformer t -> String

showList :: [ReversedTransformer t] -> ShowS

ObjValueForwardTransformer t => ObjValueBackwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformObjValueBackward :: ReversedTransformer t -> TargetObjValue (ReversedTransformer t) -> SourceObjValue (ReversedTransformer t)

ObjValueBackwardTransformer t => ObjValueForwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformObjValueForward :: ReversedTransformer t -> SourceObjValue (ReversedTransformer t) -> TargetObjValue (ReversedTransformer t)

ObjValueTransformer t => ObjValueTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Associated Types

type SourceObjValue (ReversedTransformer t) :: Type

type TargetObjValue (ReversedTransformer t) :: Type

ForwardTransformer t => BackwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformBackward :: ReversedTransformer t -> Target (ReversedTransformer t) -> Source (ReversedTransformer t)

BackwardTransformer t => ForwardTransformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Methods

transformForward :: ReversedTransformer t -> Source (ReversedTransformer t) -> Target (ReversedTransformer t)

Transformer t => Transformer (ReversedTransformer t)

Defined in ToySolver.Converter.Base

Associated Types

type Source (ReversedTransformer t) :: Type

type Target (ReversedTransformer t) :: Type

type SourceObjValue (ReversedTransformer t)

Defined in ToySolver.Converter.Base

type SourceObjValue (ReversedTransformer t) = TargetObjValue t

type TargetObjValue (ReversedTransformer t)

Defined in ToySolver.Converter.Base

type TargetObjValue (ReversedTransformer t) = SourceObjValue t

type Source (ReversedTransformer t)

Defined in ToySolver.Converter.Base

type Source (ReversedTransformer t) = Target t

type Target (ReversedTransformer t)

Defined in ToySolver.Converter.Base

type Target (ReversedTransformer t) = Source t