search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: cache results of In_All_Definitions and In_Some_Definitions #130

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

for better performance

yutakang commented 4 years ago

This means the return type of the eval function should be ( bool * table )where a blue of table contains the lookup table from the arguments to In_All_Definitions or In_Some_Definitions to the corresponding result.

yutakang commented 4 years ago

It is done. But I have to improve the code.