expandGrayShadow0 (reference) in projects: dports

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

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A D	arith_proof_rules.h	`238 virtual Theorem expandGrayShadow0(const Theorem& g)=0;`
H A D	arith_theorem_producer.h	`263 Theorem expandGrayShadow0(const Theorem& grayShadow);`
H A D	arith_theorem_producer_old.h	`262 Theorem expandGrayShadow0(const Theorem& grayShadow);`
H A D	arith_theorem_producer3.h	`262 Theorem expandGrayShadow0(const Theorem& grayShadow);`
H A D	theory_arith3.cpp	`2045 enqueueFact(d_rules->expandGrayShadow0(e)); in assertFact() 2059 enqueueFact(d_rules->expandGrayShadow0(gThm)); in assertFact()`
H A D	theory_arith_old.cpp	`2524 enqueueFact(d_rules->expandGrayShadow0(e)); in assertFact() 2538 enqueueFact(d_rules->expandGrayShadow0(gThm)); in assertFact()`
H A D	arith_theorem_producer.cpp	`1869 Theorem ArithTheoremProducer::expandGrayShadow0(const Theorem& grayShadow) { in expandGrayShadow0() function in ArithTheoremProducer`
H A D	arith_theorem_producer3.cpp	`1826 Theorem ArithTheoremProducer3::expandGrayShadow0(const Theorem& grayShadow) { in expandGrayShadow0() function in ArithTheoremProducer3`
H A D	arith_theorem_producer_old.cpp	`2029 Theorem ArithTheoremProducerOld::expandGrayShadow0(const Theorem& grayShadow) { in expandGrayShadow0() function in ArithTheoremProducerOld`