Boolean vectors
BVEC
bvec_add
bvec_addref
bvec_coerce
bvec_con
bvec_copy
bvec_delref
bvec_div
bvec_divfixed
bvec_equ
bvec_false
bvec_free
bvec_gte
bvec_gth
bvec_isconst
bvec_lte
bvec_lth
bvec_map1
bvec_map2
bvec_map3
bvec_mul
bvec_mulfixed
bvec_neq
bvec_shl
bvec_shlfixed
bvec_shr
bvec_shrfixed
bvec_sub
bvec_true
bvec_val
bvec_var
bvec_varfdd
bvec_varvec
BDD bvec_lte ( BVEC  left,
BVEC  right 
)

Calculates the truth value of $x \leq y$.

Returns the BDD representing l $\leq$ r (not reference counted). Both vectors must have the same number of bits.

See also:
bvec_lth, bvec_gth, bvec_gte, bvec_equ, bvec_neq

Generated on Mon Jul 23 13:25:15 2007 for BuDDy by  doxygen 1.5.1