! | |
1 (Function) | Satchmo.Array |
2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
3 (Function) | Satchmo.Map.Data, Satchmo.Map |
&& | Satchmo.Boolean |
add | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Binary.Op.Fixed |
4 (Function) | Satchmo.PolynomialN |
5 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
6 (Function) | Satchmo.Polynomial |
7 (Function) | Satchmo.Unary.Op.Fixed |
8 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
add_by_bitonic_sort | |
1 (Function) | Satchmo.Unary.Op.Common |
2 (Function) | Satchmo.Unary.Op.Fixed |
3 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
add_by_odd_even_merge | |
1 (Function) | Satchmo.Unary.Op.Common |
2 (Function) | Satchmo.Unary.Op.Fixed |
3 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
add_quadratic | |
1 (Function) | Satchmo.Unary.Op.Common |
2 (Function) | Satchmo.Unary.Op.Fixed |
3 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
add_with_carry | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
all2 | Satchmo.Set.Data, Satchmo.Set |
and | Satchmo.Boolean |
antiselect | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
apply | Satchmo.Polynomial |
Array | Satchmo.Array |
array | Satchmo.Array |
assert | Satchmo.Boolean |
assertAnd | Satchmo.Boolean |
assertOr | Satchmo.Boolean |
assert_fun2 | Satchmo.Boolean |
assert_fun3 | Satchmo.Boolean |
assert_implies_atmost | Satchmo.Counting.Direct |
assert_implies_exactly | Satchmo.Counting.Direct |
assocs | |
1 (Function) | Satchmo.Array |
2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
3 (Function) | Satchmo.Set.Data, Satchmo.Set |
atleast | |
1 (Function) | Satchmo.Counting.Direct |
2 (Function) | Satchmo.Counting.Unary |
3 (Function) | Satchmo.Counting.Binary, Satchmo.Counting |
atmost | |
1 (Function) | Satchmo.Counting.Direct |
2 (Function) | Satchmo.Counting.Unary |
3 (Function) | Satchmo.Counting.Binary, Satchmo.Counting |
bits | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Integer |
4 (Function) | Satchmo.Unary |
Boolean | |
1 (Type/Class) | Satchmo.Boolean |
2 (Data Constructor) | Satchmo.Boolean |
boolean | Satchmo.Boolean |
Booleans | Satchmo.Boolean |
bot | Satchmo.Integer.Difference |
bounds | |
1 (Function) | Satchmo.Array |
2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
build | Satchmo.Relation.Data, Satchmo.Relation |
Clause | Satchmo.Data |
clause | Satchmo.Data |
clauses | Satchmo.Data |
CNF | Satchmo.Data |
cnf | Satchmo.Data |
Coefficient | Satchmo.PolynomialN |
coefficients | Satchmo.Polynomial |
common2 | Satchmo.Set.Data, Satchmo.Set |
complement | Satchmo.Relation.Op, Satchmo.Relation |
complete | Satchmo.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.Array |
2 (Function) | Satchmo.Boolean |
3 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
4 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
5 (Function) | Satchmo.Numeric |
6 (Function) | Satchmo.Map.Data, Satchmo.Map |
7 (Function) | Satchmo.Integer |
8 (Function) | Satchmo.Polynomial |
9 (Function) | Satchmo.Set.Data, Satchmo.Set |
10 (Function) | Satchmo.Unary |
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 |
count | Satchmo.Counting.Binary, Satchmo.Counting |
Create | Satchmo.Numeric |
create | Satchmo.Numeric |
Decode | Satchmo.Code |
decode | |
1 (Function) | Satchmo.Code |
2 (Function) | Satchmo.Integer |
Decoder | Satchmo.MonadSAT, Satchmo.Boolean |
decode_variable | Satchmo.MonadSAT, Satchmo.Boolean |
defaultSolveOptions | Satchmo.SAT.Mini |
derive | |
1 (Function) | Satchmo.Polynomial.Numeric |
2 (Function) | Satchmo.Polynomial |
Difference | Satchmo.Integer.Difference |
difference | Satchmo.Set.Op, Satchmo.Set |
disjoint | Satchmo.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.Array |
2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
3 (Function) | Satchmo.Map.Data, Satchmo.Map |
4 (Function) | Satchmo.Set.Data, Satchmo.Set |
emit | Satchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.External, Satchmo.SAT.Mini, Satchmo.SAT.Tmpfile, Satchmo.SAT |
empty | Satchmo.Relation.Prop, Satchmo.Relation |
encode | Satchmo.Boolean |
eq | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Integer |
4 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
equal | Satchmo.Numeric |
equals | |
1 (Function) | Satchmo.Boolean |
2 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
3 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
4 (Function) | Satchmo.Relation.Prop, Satchmo.Relation |
5 (Function) | Satchmo.PolynomialN |
6 (Function) | Satchmo.Polynomial |
7 (Function) | Satchmo.Set.Op, Satchmo.Set |
8 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
equals2 | Satchmo.Boolean |
exactly | |
1 (Function) | Satchmo.Counting.Direct |
2 (Function) | Satchmo.Counting.Unary |
3 (Function) | Satchmo.Counting.Binary, Satchmo.Counting |
exists | Satchmo.Boolean |
Exponents | Satchmo.PolynomialN |
forall | Satchmo.Boolean |
fresh | Satchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.External, Satchmo.SAT.Mini, Satchmo.SAT.Tmpfile, Satchmo.SAT |
fresh_forall | Satchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.Tmpfile, Satchmo.SAT |
fromBinary | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
fromBooleans | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
fromCoefficients | Satchmo.Polynomial |
fromList | Satchmo.Map.Data, Satchmo.Map |
fromMonomials | Satchmo.PolynomialN |
fromUnsigned | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
fullZip | Satchmo.Polynomial.Numeric |
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.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Integer |
4 (Function) | Satchmo.Polynomial |
5 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
greater_equal | Satchmo.Numeric |
gt | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Integer |
4 (Function) | Satchmo.Polynomial |
5 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
half_adder | Satchmo.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 |
identity | Satchmo.Relation.Data, Satchmo.Relation |
ifThenElse | Satchmo.Boolean |
ifThenElseM | Satchmo.Boolean |
Ignore | Satchmo.Binary.Op.Times |
implies | |
1 (Function) | Satchmo.Boolean |
2 (Function) | Satchmo.Relation.Prop, Satchmo.Relation |
increment | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
indices | |
1 (Function) | Satchmo.Array |
2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
intersection | |
1 (Function) | Satchmo.Relation.Op, Satchmo.Relation |
2 (Function) | Satchmo.Set.Op, Satchmo.Set |
irreflexive | Satchmo.Relation.Prop, Satchmo.Relation |
isDisjoint | Satchmo.Set.Op, Satchmo.Set |
isNull | |
1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
2 (Function) | Satchmo.Polynomial |
isSingleton | Satchmo.Set.Op, Satchmo.Set |
isSubsetOf | Satchmo.Set.Op, Satchmo.Set |
isSupersetOf | Satchmo.Set.Op, Satchmo.Set |
iszero | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
is_bijection | Satchmo.Relation.Prop, Satchmo.Relation |
is_function | Satchmo.Relation.Prop, Satchmo.Relation |
is_partial_function | Satchmo.Relation.Prop, Satchmo.Relation |
is_permutation | Satchmo.Relation.Prop, Satchmo.Relation |
keys | |
1 (Function) | Satchmo.Map.Data, Satchmo.Map |
2 (Function) | Satchmo.Set.Data, Satchmo.Set |
keysSet | Satchmo.Set.Data, Satchmo.Set |
le | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
linear | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
Literal | Satchmo.Data |
literal | Satchmo.Data |
literals | Satchmo.Data |
lt | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
make | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Unary |
Map | Satchmo.Map.Data, Satchmo.Map |
map | Satchmo.Map.Data, Satchmo.Map |
mapWithKey | Satchmo.Map.Data, Satchmo.Map |
max | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
maximum | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
max_in_degree | Satchmo.Relation.Prop, Satchmo.Relation |
max_out_degree | Satchmo.Relation.Prop, Satchmo.Relation |
member | Satchmo.Set.Data, Satchmo.Set |
min | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
minimum | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
minus | Satchmo.Numeric |
min_in_degree | Satchmo.Relation.Prop, Satchmo.Relation |
min_out_degree | Satchmo.Relation.Prop, Satchmo.Relation |
mirror | Satchmo.Relation.Op, Satchmo.Relation |
monadic | Satchmo.Boolean |
MonadSAT | Satchmo.MonadSAT, Satchmo.Boolean |
msb | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
negate | |
1 (Function) | Satchmo.Integer |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
negative | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
nicht | Satchmo.Data |
nonNegative | |
1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
2 (Function) | Satchmo.PolynomialSOS |
not | Satchmo.Boolean |
note | Satchmo.MonadSAT, Satchmo.Boolean |
null | |
1 (Function) | Satchmo.Polynomial |
2 (Function) | Satchmo.Set.Op, Satchmo.Set |
Number | |
1 (Type/Class) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Type/Class) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Type/Class) | Satchmo.Integer.Difference |
4 (Type/Class) | Satchmo.Integer |
5 (Type/Class) | Satchmo.Unary |
number | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Integer |
4 (Function) | Satchmo.Unary |
numClauses | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |
Numeric | Satchmo.Numeric |
NumPoly | Satchmo.Polynomial |
NumPolynomialN | Satchmo.PolynomialN |
numVars | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |
or | Satchmo.Boolean |
Overflow | Satchmo.Binary.Op.Times |
plus | Satchmo.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 |
PolynomialN | Satchmo.PolynomialN |
positive | |
1 (Function) | Satchmo.Data |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.PolynomialSOS |
power | Satchmo.Relation.Op, Satchmo.Relation |
product | Satchmo.Relation.Op, Satchmo.Relation |
range | Satchmo.Array |
reflexive | Satchmo.Relation.Prop, Satchmo.Relation |
Refuse | Satchmo.Binary.Op.Times |
regular | Satchmo.Relation.Prop, Satchmo.Relation |
regular_in_degree | Satchmo.Relation.Prop, Satchmo.Relation |
regular_out_degree | Satchmo.Relation.Prop, Satchmo.Relation |
Relation | Satchmo.Relation.Data, Satchmo.Relation |
relation | Satchmo.Relation.Data, Satchmo.Relation |
restricted | Satchmo.Binary.Op.Fixed |
restrictedTimes | Satchmo.Binary.Op.Fixed |
SAT | |
1 (Type/Class) | Satchmo.SAT.External |
2 (Type/Class) | Satchmo.SAT.Mini |
3 (Type/Class) | Satchmo.SAT.Tmpfile, Satchmo.SAT |
sat | Satchmo.SAT.Tmpfile, Satchmo.SAT |
select | |
1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
Set | Satchmo.Set.Data, Satchmo.Set |
shift | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
sign | Satchmo.Integer |
size | Satchmo.Data |
solve | |
1 (Function) | Satchmo.SAT.External |
2 (Function) | Satchmo.SAT.Mini |
SolveOptions | |
1 (Type/Class) | Satchmo.SAT.Mini |
2 (Data Constructor) | Satchmo.SAT.Mini |
solveSilently | Satchmo.SAT.Mini |
solveWith | Satchmo.SAT.Mini |
solve_with_timeout | Satchmo.SAT.Mini |
strictlyMonotone | Satchmo.PolynomialSOS |
sub | Satchmo.Integer |
subtract | |
1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
2 (Function) | Satchmo.Polynomial |
symmetric | Satchmo.Relation.Prop, Satchmo.Relation |
symmetric_relation | Satchmo.Relation.Data, Satchmo.Relation |
table | Satchmo.Relation.Data, Satchmo.Relation |
times | |
1 (Function) | Satchmo.Binary.Op.Times |
2 (Function) | Satchmo.Numeric |
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 |
times' | Satchmo.Binary.Op.Times |
times1 | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
toBinary | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
toBinaryWidth | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
toList | Satchmo.Map.Data, Satchmo.Map |
top | Satchmo.Integer.Difference |
toUnsigned | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
transitive | Satchmo.Relation.Prop, Satchmo.Relation |
union | |
1 (Function) | Satchmo.Relation.Op, Satchmo.Relation |
2 (Function) | Satchmo.Set.Op, Satchmo.Set |
universals | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |
unknown | |
1 (Function) | Satchmo.Array |
2 (Function) | Satchmo.Map.Data, Satchmo.Map |
3 (Function) | Satchmo.Set.Data, Satchmo.Set |
unknownSingleton | Satchmo.Set.Data, Satchmo.Set |
value | Satchmo.Boolean |
Variable | Satchmo.Data |
variable | Satchmo.Data |
verboseOutput | Satchmo.SAT.Mini |
Weight | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |
width | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.Integer |
4 (Function) | Satchmo.Unary |
xor | Satchmo.Boolean |
xor2 | Satchmo.Boolean |
|| | Satchmo.Boolean |