Searched defs:expr2aig (Results 1 – 2 of 2) sorted by relevance
419 struct expr2aig { struct420 struct frame {426 imp & m;431 expr2aig(imp & _m):m(_m) {} in expr2aig() argument433 ~expr2aig() { in ~expr2aig()456 bool is_cached(expr * t) { in is_cached()474 void mk_frame(app * t) { in mk_frame()478 bool visit(expr * t) { in visit()528 void mk_or(unsigned spos) { in mk_or()586 void mk_aig(frame & fr) { in mk_aig()[all …]