Searched refs:d_assumptionConflicts (Results 1 – 2 of 2) sorted by relevance
205 d_assumptionConflicts(), in TSatProof()455 return d_assumptionConflicts.find(id) != d_assumptionConflicts.end(); in isAssumptionConflict()614 d_assumptionConflicts.insert(new_id); in registerAssumptionConflict()
320 IdHashSet d_assumptionConflicts; // assumption conflicts not actually added variable