Searched refs:d_atomRequests (Results 1 – 2 of 2) sorted by relevance
436 AtomRequests d_atomRequests; variable
312 d_atomRequests(context), in TheoryEngine()1397 AtomRequests::atom_iterator it = d_atomRequests.getAtomIterator(atom); in assertFact()1789 d_atomRequests.add(eqNormalized, eq, atomsTo); in ensureLemmaAtoms()