satchmo-1.3: SAT encoding monad
Satchmo.Relation.Data
data Relation a b Source
Instances
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 bSource
bounds :: (Ix a, Ix b) => Relation a b -> ((a, b), (a, b))Source
(!) :: (Ix t, Ix t1) => Relation t t1 -> (t, t1) -> BooleanSource
indices :: (Ix t, Ix t1) => Relation t t1 -> [(t, t1)]Source
table :: (Enum a, Ix a, Enum b, Ix b) => Array (a, b) Bool -> StringSource