Searched refs:BtorUNT (Results 1 – 1 of 1) sorted by relevance
56 typedef struct BtorUNT BtorUNT; typedef69 struct BtorUNT struct85 static BtorUNT * argument88 BtorUNT *res; in btorunt_new()130 btorunt_delete (BtorUNT *unt) in btorunt_delete()164 static BtorUNT *g_btorunt;211 btorunt_has_cl_btor_opt (BtorUNT *unt, BtorOption opt) in btorunt_has_cl_btor_opt()227 btorunt_get_btor_opt (BtorUNT *unt, const char *opt) in btorunt_get_btor_opt()