bvec_gth

BDD bvec_gth ( 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_lth, bvec_lte, bvec_gte, bvec_equ, bvec_neq

---