Searched refs:subst_seen (Results 1 – 1 of 1) sorted by relevance
313 NodeSet subst_seen; in check() local361 subst_bb_cost+= d_quickSolver->computeAtomWeight(fact, subst_seen); in check()