|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
universe of discourse
to themselves.
identity hashcodes
.
Arrays.sort(Object[], Comparator)
on the
given array and returns it.
sparse sequence
.this.outcome()
is either
SATISFIABLE or TRIVIALLY_SATISFIABLE.
relations
and integers to sets of tuples
drawn from a given universe
.boolean values
and unary
or
binary
encoding.int nodes
.
bound
to integers
IntRanges
,
IntSets
, and SparseSequences
.int expression
to an expression
.if-then-else
operator.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |