Searched refs:thvar (Results 1 – 4 of 4) sorted by relevance
107 tbl->thvar = (thvar_t *) safe_realloc(tbl->thvar, n * sizeof(thvar_t)); in extend_class_table()148 tbl->thvar[c] = x; in init_class()184 safe_free(tbl->thvar); in delete_class_table()190 tbl->thvar = NULL; in delete_class_table()256 tbl->thvar = (thvar_t *) safe_realloc(tbl->thvar, n * sizeof(thvar_t)); in extend_eterm_table()284 tbl->thvar[t] = null_thvar; in new_eterm()309 safe_free(tbl->thvar); in delete_eterm_table()317 tbl->thvar = NULL; in delete_eterm_table()2296 egraph->terms.thvar[t] = x; in egraph_activate_term()2538 v = egraph->terms.thvar[t]; in egraph_term2literal()[all …]
286 thvar_t *thvar; member325 thvar_t *thvar; member
127 return egraph->terms.thvar[t]; in egraph_term_base_thvar()163 return egraph->classes.thvar[c]; in egraph_class_thvar()
362 Fossil sets [the TH1 variable `$default_csp`][thvar] from the374 [thvar]: ./customskin.md#vars