Searched defs:set_print_mode (Results 1 – 13 of 13) sorted by relevance
156 void set_print_mode(unsigned long md) in set_print_mode() function
142 void set_print_mode(unsigned long art) in set_print_mode() function762 void set_print_mode(unsigned long art) in set_print_mode() function
119 void set_print_mode(unsigned long art) in set_print_mode() function
120 void set_print_mode(unsigned long art) in set_print_mode() function
168 void set_print_mode(unsigned long art) in set_print_mode() function
122 timer::set_print_mode (int m) in set_print_mode() function in LiDIA::timer
177 void set_print_mode(Z3_ast_print_mode m) { m_print_mode = m; } in set_print_mode() function
182 void set_print_mode(Z3_ast_print_mode m) { m_print_mode = m; } in set_print_mode() function
214 static int set_print_mode(int new_print_mode) in set_print_mode() function
420 val set_print_mode : context -> Z3enums.ast_print_mode -> unit val450 …let set_print_mode (ctx:context) (value:ast_print_mode) = Z3native.set_ast_print_mode ctx (int_of_… function
462 val set_print_mode : context -> Z3enums.ast_print_mode -> unit val