Searched refs:omega_initialize_variables (Results 1 – 2 of 2) sorted by relevance
284 omega_initialize_variables (omega_pb pb) in omega_initialize_variables() function
329 omega_initialize_variables (pb); in omega_print_problem()410 omega_initialize_variables (pb); in omega_print_red_equations()469 omega_initialize_variables (pb); in omega_pretty_print_problem()4961 omega_initialize_variables (pb); in omega_simplify_problem()