Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dbitvector_theorem_producer.h503 Expr computeCarry(const std::vector<Theorem>& t1BitExtractThms,
H A Dbitvector_theorem_producer.cpp1283 const Expr carry_iBit = computeCarry(t1BitExtractThms, t2BitExtractThms, bitPos); in bitExtractBVPlus()
1305 BitvectorTheoremProducer::computeCarry(const std::vector<Theorem>& t1BitExtractThms, in computeCarry() function in BitvectorTheoremProducer
1324 computeCarry(t1BitExtractThms,t2BitExtractThms,bitPos-1); in computeCarry()