Searched refs:generic_antecedent (Results 1 – 4 of 4) sorted by relevance
450 static inline void *generic_antecedent(antecedent_t a) { in generic_antecedent() function
325 static inline void *generic_antecedent(antecedent_t a) { in generic_antecedent() function
3174 s->th_smt.expand_explanation(s->th_solver, l, generic_antecedent(a), &s->explanation); in explain_antecedent()
499 id = i32_of_expl(generic_antecedent(a)); in explain_eq()