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_neq ( BVEC  left,
BVEC  right 
)

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

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

See also:
bvec_lte, bvec_lth, bvec_gth, bvec_gth, bvec_equ

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