SeLFiE: more caching of (inner) path_to_unode tables.

data61 / PSL

Other

65 stars 9 forks source link

SeLFiE: more caching of (inner) path_to_unode tables. #163

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

We should construct path_to_unode tables once for each invocation of semantic_induct even for tables for terms that appear in the definition of other constants.

yutakang commented 4 years ago

Same for print_to_paths tables.