Home
last modified time | relevance | path

Searched refs:subst_seen (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dbv_subtheory_algebraic.cpp313 NodeSet subst_seen; in check() local
361 subst_bb_cost+= d_quickSolver->computeAtomWeight(fact, subst_seen); in check()