satchmo-1.4: SAT encoding monad Source code Contents Index

Satchmo.Relation.Data

Documentation

data Relation a b Source

Instances (Ix a, Ix b) => Decode (Relation a b) (Array (a, b) Bool)

relation :: (Ix a, Ix b) => ((a, b), (a, b)) -> SAT (Relation a b) Source

build :: (Ix a, Ix b) => ((a, b), (a, b)) -> [((a, b), Boolean)] -> Relation a b Source

bounds :: (Ix a, Ix b) => Relation a b -> ((a, b), (a, b)) Source

(!) :: (Ix t, Ix t1) => Relation t t1 -> (t, t1) -> Boolean Source

indices :: (Ix t, Ix t1) => Relation t t1 -> [(t, t1)] Source

table :: (Enum a, Ix a, Enum b, Ix b) => Array (a, b) Bool -> String Source

Produced by Haddock version 2.6.0