Searched refs:YAP_UserBackCutCPredicate (Results 1 – 3 of 3) sorted by relevance
| /dports/lang/yap/yap-6.2.2/include/ |
| H A D | YapInterface.h | 227 extern X_API void PROTO(YAP_UserBackCutCPredicate,(char *, YAP_Bool (*)(void), YAP_Bool (*)(void), …
|
| /dports/lang/yap/yap-6.2.2/C/ |
| H A D | c_interface.c | 492 X_API void STD_PROTO(YAP_UserBackCutCPredicate,(char *,CPredicate,CPredicate,CPredicate,UInt,uns…
2928 YAP_UserBackCutCPredicate(char *name, CPredicate init, CPredicate cont, CPredicate cut, in YAP_UserBackCutCPredicate() function
|
| /dports/lang/yap/yap-6.2.2/docs/ |
| H A D | yap.tex | 16861 @findex YAP_UserBackCutCPredicate (C-Interface function)
16996 void YAP_UserBackCutCPredicate(char *@var{name},
17011 YAP_UserBackCutCPredicate("n100", start_n100, continue_n100, cut_n100, 1, 1);
17038 YAP_UserBackCutCPredicate("n100", start_n100, continue_n100, NULL, 1, 1);
|