Searched refs:wrapped_smgr (Results 1 – 1 of 1) sorted by relevance
487 BtorSATMgr *wrapped_smgr = printer->smgr; in dimacs_printer_init() local497 init_flags (wrapped_smgr); in dimacs_printer_init()498 wrapped_smgr->solver = wrapped_smgr->api.init (wrapped_smgr); in dimacs_printer_init()558 BtorSATMgr *wrapped_smgr = printer->smgr; in dimacs_printer_reset() local560 reset (wrapped_smgr); in dimacs_printer_reset()562 BTOR_DELETE (smgr->btor->mm, wrapped_smgr); in dimacs_printer_reset()607 BtorSATMgr *wrapped_smgr = printer->smgr; in dimacs_printer_sat() local685 BtorSATMgr *wrapped_smgr = printer->smgr; in dimacs_printer_inc_max_var() local687 wrapped_smgr->maxvar = smgr->maxvar; in dimacs_printer_inc_max_var()688 return inc_max_var (wrapped_smgr); in dimacs_printer_inc_max_var()[all …]