Searched defs:rightMinusLeft (Results 1 – 7 of 7) sorted by relevance
431 T rightMinusLeft = _right - _left; in aspectExc() local447 T rightMinusLeft = _right - _left; in aspect() local457 T rightMinusLeft = _right - _left; in projectionMatrixExc() local533 T rightMinusLeft = _right - _left; in projectionMatrix() local
344 T rightMinusLeft = _right-_left; in aspect() local361 T rightMinusLeft = _right-_left; in projectionMatrix() local
1340 Theorem ArithTheoremProducer::rightMinusLeft(const Expr& e) in rightMinusLeft() function in ArithTheoremProducer
1326 Theorem ArithTheoremProducer3::rightMinusLeft(const Expr& e) in rightMinusLeft() function in ArithTheoremProducer3
1394 Theorem ArithTheoremProducerOld::rightMinusLeft(const Expr& e) in rightMinusLeft() function in ArithTheoremProducerOld