Main Page
Modules
Data Structures
Files
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
BVEC
bvec_copy
(
BVEC
v
)
Create a copy of a bvec.
Returns a copy of
src
. The result is reference counted.
See also:
bvec_con
Generated on Mon Jul 23 13:25:15 2007 for BuDDy by
1.5.1
