|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
expression
with two children.formula
with two children.boolean values
,
matrices
, and ints
.boolean values
.formula
or a constant
.boolean formulas
.relation
r to two
sets of tuples
, rL and rU, which represent the lower and upper
bounds on the set of tuples
to which an instance
based on these bounds may map r.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |