|
||||||||
PREV NEXT | FRAMES NO FRAMES |
i
-th element of the bit array.
order[]
.
BASENAME.num
)
which specifies the elimination order.
va
.
va1
and va2
.
order[]
(the total order).
cpt
predicate.
range/2
into the output according to the value of modeZeroComp.
range/2
into the output without zero compression.
range/3
into the output with zero compression.
i
-th element of the bit array as b
.
b
.
a
to the bit array.
node_x
N" predicate.
pot_x
N" predicate.
node_x
N" literal.
cpt
" literal.
instanciate
" literal.
pot_x
N" literal.
toPrismString()
.
toPrismString()
.
va
.
va1
and va2
.
va
.
va1
and va2
.
|
||||||||
PREV NEXT | FRAMES NO FRAMES |