! | Satchmo.Relation.Data, Satchmo.Relation |
Accu | |
1 (Type/Class) | Satchmo.Simple |
2 (Data Constructor) | Satchmo.Simple |
add | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Binary.Op.Fixed |
4 (Function) | Satchmo.Polynomial |
add_with_carry | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
and | Satchmo.Boolean |
assert | Satchmo.Boolean |
assertW | Satchmo.Boolean |
assocs | Satchmo.Relation.Data, Satchmo.Relation |
atleast | Satchmo.Counting |
atmost | Satchmo.Counting |
bits | |
1 (Function) | Satchmo.Integer |
2 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
Boolean | Satchmo.Boolean |
boolean | Satchmo.Boolean |
Booleans | Satchmo.Boolean |
bounds | Satchmo.Relation.Data, Satchmo.Relation |
build | Satchmo.Relation.Data, Satchmo.Relation |
Clause | |
1 (Type/Class) | Satchmo.Data |
2 (Data Constructor) | Satchmo.Data |
clause | Satchmo.Data |
clauses | Satchmo.Data |
CNF | Satchmo.Data |
cnf | Satchmo.Data |
complement | Satchmo.Relation.Op, Satchmo.Relation |
Constant | Satchmo.Boolean |
constant | |
1 (Function) | Satchmo.Boolean |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
4 (Function) | Satchmo.Polynomial |
Decode | Satchmo.Code |
decode | Satchmo.Code |
Decoder | Satchmo.Code, Satchmo.Solve |
emit | Satchmo.MonadSAT, Satchmo.SAT, Satchmo.Boolean |
emitW | Satchmo.MonadSAT, Satchmo.Boolean |
encode | Satchmo.Boolean |
eq | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Integer |
equals | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Polynomial |
exactly | Satchmo.Counting |
exists | Satchmo.Boolean |
forall | Satchmo.Boolean |
fresh | Satchmo.MonadSAT, Satchmo.SAT, Satchmo.Boolean |
fresh_forall | Satchmo.MonadSAT, Satchmo.SAT, Satchmo.Boolean |
full_adder | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
fun2 | Satchmo.Boolean |
fun3 | Satchmo.Boolean |
ge | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Polynomial |
gt | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Polynomial |
half_adder | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
Header | |
1 (Type/Class) | Satchmo.SAT |
2 (Data Constructor) | Satchmo.SAT |
3 (Type/Class) | Satchmo.SAT.Weighted |
4 (Data Constructor) | Satchmo.SAT.Weighted |
Implementation | Satchmo.Solve |
implies | Satchmo.Relation.Prop, Satchmo.Relation |
indices | Satchmo.Relation.Data, Satchmo.Relation |
intersection | Satchmo.Relation.Op, Satchmo.Relation |
irreflexive | Satchmo.Relation.Prop, Satchmo.Relation |
iszero | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Polynomial |
le | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
Literal | |
1 (Type/Class) | Satchmo.Data |
2 (Data Constructor) | Satchmo.Data |
literal | Satchmo.Data |
literals | Satchmo.Data |
lt | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
make | |
1 (Function) | Satchmo.Integer |
2 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
MaxWeight | Satchmo.SAT.Weighted |
maxWeight | Satchmo.SAT.Weighted |
mirror | Satchmo.Relation.Op, Satchmo.Relation |
monadic | Satchmo.Boolean |
MonadSAT | Satchmo.MonadSAT, Satchmo.Boolean |
negate | Satchmo.Integer |
next | Satchmo.Simple |
nicht | Satchmo.Data |
not | Satchmo.Boolean |
Number | |
1 (Type/Class) | Satchmo.Integer |
2 (Type/Class) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
3 (Type/Class) | Satchmo.Polynomial |
number | |
1 (Function) | Satchmo.Integer |
2 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
3 (Function) | Satchmo.Polynomial |
numClauses | |
1 (Function) | Satchmo.SAT |
2 (Function) | Satchmo.SAT.Weighted |
numVars | |
1 (Function) | Satchmo.SAT |
2 (Function) | Satchmo.SAT.Weighted |
or | Satchmo.Boolean |
pool | Satchmo.Simple |
positive | Satchmo.Data |
product | Satchmo.Relation.Op, Satchmo.Relation |
reflexive | Satchmo.Relation.Prop, Satchmo.Relation |
regular | Satchmo.Relation.Prop, Satchmo.Relation |
Relation | Satchmo.Relation.Data, Satchmo.Relation |
relation | Satchmo.Relation.Data, Satchmo.Relation |
restricted | Satchmo.Binary.Op.Fixed |
SAT | |
1 (Type/Class) | Satchmo.SAT |
2 (Type/Class) | Satchmo.SAT.Weighted |
3 (Type/Class) | Satchmo.Simple |
4 (Data Constructor) | Satchmo.Simple |
sat | |
1 (Function) | Satchmo.SAT |
2 (Function) | Satchmo.SAT.Weighted |
3 (Function) | Satchmo.Simple |
shift | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
solve | Satchmo.Solve |
solveW | Satchmo.Solve |
start | Satchmo.Simple |
sub | Satchmo.Integer |
symmetric | Satchmo.Relation.Prop, Satchmo.Relation |
table | Satchmo.Relation.Data, Satchmo.Relation |
times | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Binary.Op.Fixed |
4 (Function) | Satchmo.Polynomial |
times1 | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
transitive | Satchmo.Relation.Prop, Satchmo.Relation |
union | Satchmo.Relation.Op, Satchmo.Relation |
universals | |
1 (Function) | Satchmo.SAT |
2 (Function) | Satchmo.SAT.Weighted |
unsat | Satchmo.Simple |
Variable | Satchmo.Data |
variable | Satchmo.Data |
Weight | Satchmo.MonadSAT, Satchmo.SAT |
WeightedImplementation | Satchmo.Solve |
width | |
1 (Function) | Satchmo.Integer |
2 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
xor | Satchmo.Boolean |