|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
ordered
, and that thet first and
last elements in the ordering are given by the relations first
and last
.
kodkod formula
to CNF.nodes
with
respect to given bounds
(or instances
) and Options
.universe
.tuples
of a given arity, constructed over a given universe
.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |