| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/solvelin.h |
int already_solved(term, term, term); MEXPORT_PROVER int get_whichvar(term, term *); MEXPORT_PROVER int solve_linear_ineq(term, term *); MEXPORT_PROVER int solve_linear_ineq_for(term, term, term *ans); MEXPORT_PROVER int derivative_subterm(term, term *);