| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/ode.h |
MEXPORT_PROVER int rkqc(double *,double *,int,double *,double,double,double *,
double *,double *,term *,double *,double **,double,double);
MEXPORT_PROVER int derivs(term *, int, double, double *, double *, double *, double **);