Home
last modified time | relevance | path

Searched refs:btor_exp_bv_rori (Results 1 – 3 of 3) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorexp.h358 BtorNode *btor_exp_bv_rori (Btor *btor, BtorNode *exp, uint32_t nbits);
H A Dbtorexp.c1286 btor_exp_bv_rori (Btor *btor, BtorNode *exp, uint32_t nbits) in btor_exp_bv_rori() function
H A Dboolector.c2704 res = btor_exp_bv_rori (btor, exp, nbits); in boolector_rori()