Searched refs:realShadow (Results 1 – 9 of 9) sorted by relevance
195 virtual Theorem realShadow(const Theorem& alphaLTt,
245 Theorem realShadow(const Theorem& alphaLTt, const Theorem& tLTbeta);
244 Theorem realShadow(const Theorem& alphaLTt, const Theorem& tLTbeta);
1547 Theorem ArithTheoremProducer::realShadow(const Theorem& alphaLTt, in realShadow() function in ArithTheoremProducer
1548 Theorem result = d_rules->realShadow(betaLTt, tLTalpha); in normalizeProjectIneqs()
1504 Theorem ArithTheoremProducer3::realShadow(const Theorem& alphaLTt, in realShadow() function in ArithTheoremProducer3
1702 Theorem ArithTheoremProducerOld::realShadow(const Theorem& alphaLTt, in realShadow() function in ArithTheoremProducerOld
1924 Theorem result = d_rules->realShadow(betaLTt, tLTalpha); in normalizeProjectIneqs()