Searched refs:Z3MAPPING_REAL (Results 1 – 3 of 3) sorted by relevance
336 #define Z3MAPPING_REAL 2 macro
438 #define Z3MAPPING_REAL 2 macro
2274 bool alwaysmapz3 = currprefs.z3_mapping_mode != Z3MAPPING_REAL; in expamem_reset()