bvec_lth

BDD bvec_lth ( BVEC  left, BVEC  right   ) Calculates the truth value of . Returns the BDD representing l < r (not reference counted). Both vectors must have the same number of bits. See also: bvec_lte, bvec_gth, bvec_gte, bvec_equ, bvec_neq

---