Searched refs:omega_result (Results 1 – 3 of 3) sorted by relevance
41 enum omega_result { enum119 extern enum omega_result omega_solve_problem (omega_pb, enum omega_result);120 extern enum omega_result omega_simplify_problem (omega_pb);121 extern enum omega_result omega_simplify_approximate (omega_pb);122 extern enum omega_result omega_constrain_variable_sign (omega_pb,135 extern enum omega_result omega_eliminate_redundant (omega_pb, bool);
72 static enum omega_result omega_found_reduction;1250 static enum omega_result1253 enum omega_result result; in verify_omega_pb()2026 enum omega_result3050 static inline enum omega_result3062 static enum omega_result3063 omega_solve_eq (omega_pb pb, enum omega_result desired_res) in omega_solve_eq()3427 static enum omega_result3429 enum omega_result desired_res) in parallel_splinter()3469 static enum omega_result[all …]
3707 enum omega_result res; in omega_extract_distance_vectors()