![]() |
YAP 7.1.0
|
Public Attributes | |
size_t | szW |
size_t | arenaW |
CELL * | hlow |
Int | tr0 |
Term | t |
Term * | bindp |
Term * | arenap |
yap_error_number | err |
int | restarts_g |
copy_frame * | pt0 |
copy_frame * | pt |
copy_frame * | max |
copy_frame* max |
copy_frame* pt |
copy_frame* pt0 |