Searched refs:get_bvar_antecedent (Results 1 – 2 of 2) sorted by relevance
1452 static inline antecedent_t get_bvar_antecedent(smt_core_t *s, bvar_t x) { in get_bvar_antecedent() function
496 a = get_bvar_antecedent(egraph->core, var_of(l)); in explain_eq()