| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ToySolver.Converter.SAT2MIS
Synopsis
- satToIS :: CNF -> ((Graph, Int), SAT2ISInfo)
- type SAT2ISInfo = ComposedTransformer SAT2KSATInfo SAT3ToISInfo
- sat3ToIS :: CNF -> ((Graph, Int), SAT3ToISInfo)
- data SAT3ToISInfo
- is2pb :: (Graph, Int) -> (Formula, IS2SATInfo)
- mis2MaxSAT :: Graph -> (WCNF, IS2SATInfo)
- data IS2SATInfo
SAT to independent set problem conversion
3-SAT to independent set problem conversion
data SAT3ToISInfo Source #
Instances
Maximum independent problem to MaxSAT/PB problem conversion
mis2MaxSAT :: Graph -> (WCNF, IS2SATInfo) Source #
data IS2SATInfo Source #
Instances
| FromJSON IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS | |||||||||
| ToJSON IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods toJSON :: IS2SATInfo -> Value # toEncoding :: IS2SATInfo -> Encoding # toJSONList :: [IS2SATInfo] -> Value # toEncodingList :: [IS2SATInfo] -> Encoding # omitField :: IS2SATInfo -> Bool # | |||||||||
| Read IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods readsPrec :: Int -> ReadS IS2SATInfo # readList :: ReadS [IS2SATInfo] # readPrec :: ReadPrec IS2SATInfo # readListPrec :: ReadPrec [IS2SATInfo] # | |||||||||
| Show IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods showsPrec :: Int -> IS2SATInfo -> ShowS # show :: IS2SATInfo -> String # showList :: [IS2SATInfo] -> ShowS # | |||||||||
| Eq IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS | |||||||||
| BackwardTransformer IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods transformBackward :: IS2SATInfo -> Target IS2SATInfo -> Source IS2SATInfo Source # | |||||||||
| ForwardTransformer IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods transformForward :: IS2SATInfo -> Source IS2SATInfo -> Target IS2SATInfo Source # | |||||||||
| ObjValueBackwardTransformer IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods transformObjValueBackward :: IS2SATInfo -> TargetObjValue IS2SATInfo -> SourceObjValue IS2SATInfo Source # | |||||||||
| ObjValueForwardTransformer IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Methods transformObjValueForward :: IS2SATInfo -> SourceObjValue IS2SATInfo -> TargetObjValue IS2SATInfo Source # | |||||||||
| ObjValueTransformer IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Associated Types
| |||||||||
| Transformer IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS Associated Types
| |||||||||
| type Source IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS | |||||||||
| type SourceObjValue IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS | |||||||||
| type Target IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS | |||||||||
| type TargetObjValue IS2SATInfo Source # | |||||||||
Defined in ToySolver.Converter.SAT2MIS | |||||||||