satchmo-2.8.2: SAT encoding monad

Index

!Satchmo.Relation.Data, Satchmo.Relation
&&Satchmo.Boolean
add 
1 (Function)Satchmo.Unary.Op.Flexible, Satchmo.Unary
2 (Function)Satchmo.Unary.Op.Fixed
3 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary
4 (Function)Satchmo.Integer
5 (Function)Satchmo.Binary.Op.Fixed
6 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
7 (Function)Satchmo.Polynomial
8 (Function)Satchmo.PolynomialN
add_by_bitonic_sort 
1 (Function)Satchmo.Unary.Op.Common
2 (Function)Satchmo.Unary.Op.Flexible, Satchmo.Unary
3 (Function)Satchmo.Unary.Op.Fixed
add_by_odd_even_merge 
1 (Function)Satchmo.Unary.Op.Common
2 (Function)Satchmo.Unary.Op.Flexible, Satchmo.Unary
3 (Function)Satchmo.Unary.Op.Fixed
add_quadratic 
1 (Function)Satchmo.Unary.Op.Common
2 (Function)Satchmo.Unary.Op.Flexible, Satchmo.Unary
3 (Function)Satchmo.Unary.Op.Fixed
add_with_carrySatchmo.Binary.Op.Flexible, Satchmo.Binary
all2Satchmo.Set.Data, Satchmo.Set
andSatchmo.Boolean
antiselectSatchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
applySatchmo.Polynomial
assertSatchmo.Boolean
assertAndSatchmo.Boolean
assertOrSatchmo.Boolean
assert_fun2Satchmo.Boolean
assert_fun3Satchmo.Boolean
assocs 
1 (Function)Satchmo.Relation.Data, Satchmo.Relation
2 (Function)Satchmo.Set.Data, Satchmo.Set
atleastSatchmo.Counting
atmostSatchmo.Counting
bits 
1 (Function)Satchmo.Unary
2 (Function)Satchmo.Integer
3 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
Boolean 
1 (Type/Class)Satchmo.Boolean
2 (Data Constructor)Satchmo.Boolean
booleanSatchmo.Boolean
BooleansSatchmo.Boolean
botSatchmo.Integer.Difference
boundsSatchmo.Relation.Data, Satchmo.Relation
buildSatchmo.Relation.Data, Satchmo.Relation
Clause 
1 (Type/Class)Satchmo.Data
2 (Data Constructor)Satchmo.Data
clauseSatchmo.Data
clausesSatchmo.Data
CNFSatchmo.Data
cnfSatchmo.Data
CoefficientSatchmo.PolynomialN
coefficientsSatchmo.Polynomial
common2Satchmo.Set.Data, Satchmo.Set
complementSatchmo.Relation.Op, Satchmo.Relation
completeSatchmo.Relation.Prop, Satchmo.Relation
compose 
1 (Function)Satchmo.Polynomial.Numeric
2 (Function)Satchmo.Polynomial
Constant 
1 (Data Constructor)Satchmo.Boolean
2 (Type/Class)Satchmo.Numeric
constant 
1 (Function)Satchmo.Boolean
2 (Function)Satchmo.Unary
3 (Function)Satchmo.Numeric
4 (Function)Satchmo.Integer
5 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
6 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
7 (Function)Satchmo.Polynomial
8 (Function)Satchmo.Set.Data, Satchmo.Set
constantTerm 
1 (Function)Satchmo.Polynomial.Numeric
2 (Function)Satchmo.Polynomial
constantWidth 
1 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
2 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
CreateSatchmo.Numeric
createSatchmo.Numeric
DecodeSatchmo.Code
decodeSatchmo.Code
DecoderSatchmo.MonadSAT, Satchmo.Boolean
decode_variableSatchmo.MonadSAT, Satchmo.Boolean
derive 
1 (Function)Satchmo.Polynomial.Numeric
2 (Function)Satchmo.Polynomial
DifferenceSatchmo.Integer.Difference
differenceSatchmo.Set.Op, Satchmo.Set
disjointSatchmo.Relation.Prop, Satchmo.Relation
dot_product 
1 (Function)Satchmo.Binary.Op.Times
2 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary
3 (Function)Satchmo.Binary.Op.Fixed
dot_product'Satchmo.Binary.Op.Fixed
elems 
1 (Function)Satchmo.Relation.Data, Satchmo.Relation
2 (Function)Satchmo.Set.Data, Satchmo.Set
emitSatchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.Tmpfile, Satchmo.SAT, Satchmo.SAT.Mini
emptySatchmo.Relation.Prop, Satchmo.Relation
encodeSatchmo.Boolean
eq 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
3 (Function)Satchmo.Integer
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
equalSatchmo.Numeric
equals 
1 (Function)Satchmo.Boolean
2 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
3 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
5 (Function)Satchmo.Polynomial
6 (Function)Satchmo.PolynomialN
7 (Function)Satchmo.Relation.Prop, Satchmo.Relation
8 (Function)Satchmo.Set.Op, Satchmo.Set
equals2Satchmo.Boolean
exactlySatchmo.Counting
existsSatchmo.Boolean
ExponentsSatchmo.PolynomialN
exportSatchmo.Binary.Op.Times
forallSatchmo.Boolean
freshSatchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.Tmpfile, Satchmo.SAT, Satchmo.SAT.Mini
fresh_forallSatchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.Tmpfile, Satchmo.SAT
fromBinarySatchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
fromBooleansSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
fromCoefficientsSatchmo.Polynomial
fromMonomialsSatchmo.PolynomialN
fromUnsignedSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
fullZipSatchmo.Polynomial.Numeric
full_adderSatchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
fun2Satchmo.Boolean
fun3Satchmo.Boolean
ge 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
3 (Function)Satchmo.Integer
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
5 (Function)Satchmo.Polynomial
greater_equalSatchmo.Numeric
gt 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
3 (Function)Satchmo.Integer
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
5 (Function)Satchmo.Polynomial
half_adderSatchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
Header 
1 (Type/Class)Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT
2 (Data Constructor)Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT
identitySatchmo.Relation.Data, Satchmo.Relation
ifThenElseSatchmo.Boolean
ifThenElseMSatchmo.Boolean
implies 
1 (Function)Satchmo.Boolean
2 (Function)Satchmo.Relation.Prop, Satchmo.Relation
incrementSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
indicesSatchmo.Relation.Data, Satchmo.Relation
intersection 
1 (Function)Satchmo.Relation.Op, Satchmo.Relation
2 (Function)Satchmo.Set.Op, Satchmo.Set
irreflexiveSatchmo.Relation.Prop, Satchmo.Relation
isDisjointSatchmo.Set.Op, Satchmo.Set
isNull 
1 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
2 (Function)Satchmo.Polynomial
isSingletonSatchmo.Set.Op, Satchmo.Set
isSubsetOfSatchmo.Set.Op, Satchmo.Set
isSupersetOfSatchmo.Set.Op, Satchmo.Set
iszero 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
keysSatchmo.Set.Data, Satchmo.Set
keysSetSatchmo.Set.Data, Satchmo.Set
le 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
3 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
linearSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
Literal 
1 (Type/Class)Satchmo.Data
2 (Data Constructor)Satchmo.Data
literalSatchmo.Data
literalsSatchmo.Data
lt 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
3 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
make 
1 (Function)Satchmo.Unary
2 (Function)Satchmo.Integer
3 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
MapSatchmo.Map.Data, Satchmo.Map
max 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
maximum 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
memberSatchmo.Set.Data, Satchmo.Set
min 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
minimumSatchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
minusSatchmo.Numeric
mirrorSatchmo.Relation.Op, Satchmo.Relation
monadicSatchmo.Boolean
MonadSATSatchmo.MonadSAT, Satchmo.Boolean
msbSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
negate 
1 (Function)Satchmo.Integer
2 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
negativeSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
nichtSatchmo.Data
nonNegative 
1 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
2 (Function)Satchmo.PolynomialSOS
notSatchmo.Boolean
noteSatchmo.MonadSAT, Satchmo.Boolean
null 
1 (Function)Satchmo.Polynomial
2 (Function)Satchmo.Set.Op, Satchmo.Set
Number 
1 (Type/Class)Satchmo.Unary
2 (Type/Class)Satchmo.Integer.Difference
3 (Type/Class)Satchmo.Integer
4 (Type/Class)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
5 (Type/Class)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
number 
1 (Function)Satchmo.Unary
2 (Function)Satchmo.Integer
3 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
numClausesSatchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT
NumericSatchmo.Numeric
NumPolySatchmo.Polynomial
NumPolynomialNSatchmo.PolynomialN
numVarsSatchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT
orSatchmo.Boolean
plusSatchmo.Numeric
Poly 
1 (Type/Class)Satchmo.Polynomial.Numeric
2 (Data Constructor)Satchmo.Polynomial.Numeric
3 (Type/Class)Satchmo.Polynomial
4 (Data Constructor)Satchmo.Polynomial
polynomial 
1 (Function)Satchmo.Polynomial.Numeric
2 (Function)Satchmo.Polynomial
PolynomialNSatchmo.PolynomialN
positive 
1 (Function)Satchmo.Data
2 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
3 (Function)Satchmo.PolynomialSOS
powerSatchmo.Relation.Op, Satchmo.Relation
productSatchmo.Relation.Op, Satchmo.Relation
product_componentsSatchmo.Binary.Op.Times
reduceSatchmo.Binary.Op.Times
reflexiveSatchmo.Relation.Prop, Satchmo.Relation
regularSatchmo.Relation.Prop, Satchmo.Relation
RelationSatchmo.Relation.Data, Satchmo.Relation
relationSatchmo.Relation.Data, Satchmo.Relation
restrictedSatchmo.Binary.Op.Fixed
restrictedTimesSatchmo.Binary.Op.Fixed
SAT 
1 (Type/Class)Satchmo.SAT.Tmpfile, Satchmo.SAT
2 (Type/Class)Satchmo.SAT.Mini
satSatchmo.SAT.Tmpfile, Satchmo.SAT
select 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
SetSatchmo.Set.Data, Satchmo.Set
shiftSatchmo.Binary.Op.Flexible, Satchmo.Binary
solveSatchmo.SAT.Mini
solve_with_timeoutSatchmo.SAT.Mini
strictlyMonotoneSatchmo.PolynomialSOS
subSatchmo.Integer
subtract 
1 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
2 (Function)Satchmo.Polynomial
symmetricSatchmo.Relation.Prop, Satchmo.Relation
tableSatchmo.Relation.Data, Satchmo.Relation
times 
1 (Function)Satchmo.Numeric
2 (Function)Satchmo.Binary.Op.Times
3 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary
4 (Function)Satchmo.Integer
5 (Function)Satchmo.Binary.Op.Fixed
6 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
7 (Function)Satchmo.Polynomial
times1Satchmo.Binary.Op.Flexible, Satchmo.Binary
toBinarySatchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
toBinaryWidthSatchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
topSatchmo.Integer.Difference
toUnsignedSatchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
transitiveSatchmo.Relation.Prop, Satchmo.Relation
union 
1 (Function)Satchmo.Relation.Op, Satchmo.Relation
2 (Function)Satchmo.Set.Op, Satchmo.Set
universalsSatchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT
unknownSatchmo.Set.Data, Satchmo.Set
unknownSingletonSatchmo.Set.Data, Satchmo.Set
valueSatchmo.Boolean
VariableSatchmo.Data
variableSatchmo.Data
WeightSatchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT
width 
1 (Function)Satchmo.Unary
2 (Function)Satchmo.Integer
3 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
4 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
xorSatchmo.Boolean
||Satchmo.Boolean