Searched refs:BTOR_EXPORT_BOOLECTOR_NODE (Results 1 – 3 of 3) sorted by relevance
1013 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_copy()1064 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_true()1080 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_false()1110 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_implies()1139 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_iff()1173 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_eq()1203 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_ne()1226 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_const()1260 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_constd()1294 return BTOR_EXPORT_BOOLECTOR_NODE (res); in boolector_consth()[all …]
46 #define BTOR_EXPORT_BOOLECTOR_NODE(node) (((BoolectorNode *) (node))) macro
84 nres = BTOR_EXPORT_BOOLECTOR_NODE (eres); in boolector_nodemap_mapped()156 boolector_nodemap_mapped (map, BTOR_EXPORT_BOOLECTOR_NODE (src))); in map_node_internal()222 return BTOR_EXPORT_BOOLECTOR_NODE (res); in map_node_internal()257 nnode = BTOR_EXPORT_BOOLECTOR_NODE (node); in extended_substitute_node()