PIPS
|
Go to the source code of this file.
Functions | |
int | sol_pgcd () |
int | sol_ppcm () |
void | sol_init () |
int | sol_hwm () |
void | sol_reset () |
void | sol_nil () |
void | sol_if () |
void | sol_list () |
void | sol_form () |
void | sol_new () |
void | sol_div () |
void | sol_val () |
int | sol_edit () |
int | is_not_Nil () |
int is_not_Nil | ( | ) |
Referenced by compa_test(), pip_solve(), and pip_solve_min_with_big().
void sol_div | ( | ) |
Definition at line 151 of file sol.c.
References Div, S::flags, and sol_alloc().
Referenced by integrer().
int sol_edit | ( | ) |
void sol_form | ( | ) |
int sol_hwm | ( | ) |
Definition at line 75 of file sol.c.
References sol_free.
Referenced by compa_test(), pip_solve(), and pip_solve_min_with_big().
void sol_if | ( | ) |
void sol_init | ( | ) |
Definition at line 70 of file sol.c.
References sol_free.
Referenced by pip_solve(), and pip_solve_min_with_big().
void sol_list | ( | ) |
void sol_new | ( | ) |
void sol_nil | ( | ) |
int sol_pgcd | ( | ) |
Referenced by integer_sol_edit(), integrer(), new_sol_edit(), and rational_sol_edit().
int sol_ppcm | ( | ) |
Referenced by analyze_expression(), make_causal_external(), make_causal_internal(), and rational_sol_edit().
void sol_reset | ( | ) |
Referenced by compa_test(), pip_solve(), and pip_solve_min_with_big().
void sol_val | ( | ) |