Searched defs:ajExists (Results 1 – 1 of 1) sorted by relevance
1999 bool ajExists = d_equalityEngine.hasTerm(aj); in propagate() local2056 bool ajExists = d_equalityEngine.hasTerm(aj); in queueRowLemma() local2177 bool ajExists = d_equalityEngine.hasTerm(aj); in dischargeLemmas() local