Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.cpp1027 ProofLetCount letCount(newId); in bind() local
1028 map[term] = letCount; in bind()
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory_core.cpp3150 int letCount = 0; in print() local
3168 ++letCount; in print()
3179 for (int j = 0; j < letCount; ++j) in print()