| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/chkinput.h |
MEXPORT_AUTOMODE int strip_intervals(term, term *, term *); MEXPORT_AUTOMODE int is_graph_inequality(term); MEXPORT_AUTOMODE int graph_interval(term); MEXPORT_AUTOMODE unsigned mathematical(term); MEXPORT_AUTOMODE int input_check(term t);