Searched defs:BooleVariable (Results 1 – 6 of 6) sorted by relevance
59 BooleVariable(idx_type idx, const ring_type& ring): in BooleVariable() function63 BooleVariable(const ring_type& ring): in BooleVariable() function67 BooleVariable(const self& rhs): in BooleVariable() function100 BooleVariable(const BoolePolynomial& poly):m_poly(poly){} in BooleVariable() function
38 class BooleVariable; variable
55 class BooleVariable; variable
55 ; CHECK-LABEL: name: shl_gep_zext_ldrwrow