Searched refs:BtorSubstCompKind (Results 1 – 1 of 1) sorted by relevance
86 enum BtorSubstCompKind enum94 typedef enum BtorSubstCompKind BtorSubstCompKind; typedef1288 static BtorSubstCompKind1289 reverse_subst_comp_kind (Btor *btor, BtorSubstCompKind comp) in reverse_subst_comp_kind()1372 BtorSubstCompKind comp; in normalize_substitution()