/dports/math/cvc3/cvc3-2.4.1/src/theory_records/ |
H A D | records_theorem_producer.cpp | 42 Proof pf; in rewriteLitSelect() local 82 Proof pf; in rewriteUpdateSelect() local 149 Proof pf; in rewriteLitUpdate() local 164 Expr e0 = e[0].getType().getExpr() , e1 = e[1].getType().getExpr(); in expandNeq() local 199 Proof pf; in expandNeq() local 208 Expr rhs(eqThrm.getRHS()), e1 = rhs.getType().getExpr(); in expandEq() local 244 Proof pf; in expandEq() local 263 Proof pf; in expandRecord() local 279 Proof pf; in expandTuple() local
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
H A D | core_theorem_producer.cpp | 55 Proof pf; in typePred() local 68 Proof pf; in rewriteLetDecl() local 85 Proof pf; in rewriteNotAnd() local 101 Proof pf; in rewriteNotOr() local 111 Proof pf; in rewriteNotIff() local 124 Proof pf; in rewriteNotIte() local 137 Proof pf; in rewriteIteThen() local 162 Proof pf; in rewriteIteElse() local 187 const Expr& e1, const Expr& e2) { in rewriteIteBool() 531 Expr e1(e[1].substExpr(oldTerms, newTerms)); in rewriteIteCond() local [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theorem/ |
H A D | theorem_producer.cpp | 83 Proof TheoremProducer::newPf(const string& name, const Proof& pf) in newPf() 88 const Expr& e1, const Expr& e2) in newPf() 93 const Proof& pf) in newPf() 97 Proof TheoremProducer::newPf(const string& name, const Expr& e1, in newPf() 108 Proof TheoremProducer::newPf(const string& name, const Expr& e1, in newPf() 109 const Expr& e2, const Proof& pf) { in newPf() 186 const Expr& e1, const Expr& e2, in newPf() 212 const Proof& pf) { in newPf() 235 const Proof& pf) { in newPf() 260 const Proof& pf) { in newPf() [all …]
|
H A D | common_theorem_producer.cpp | 56 Proof pf; in queryTCC() local 125 Proof pf; in implIntro3() local 156 Proof pf; in assumpRule() local 173 Proof pf; in rewriteReflexivity() local 196 Proof pf; in symmetryRule() local 230 Proof pf; in rewriteUsingSymmetry() local 407 Expr e1(op, c), e2(op, d); in substitutivityRule() local 667 Theorem CommonTheoremProducer::iffMP(const Theorem& e1, const Theorem& e1_iff_e2) in iffMP() 692 Theorem CommonTheoremProducer::implMP(const Theorem& e1, in implMP() 733 Theorem CommonTheoremProducer::andIntro(const Theorem& e1, const Theorem& e2) { in andIntro() [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
H A D | uf_theorem_producer.cpp | 64 Proof pf; in relToClosure() local 78 const Expr& e1 = t1.getExpr(); in relTrans() local 103 Proof pf; in relTrans() local 142 Proof pf; in applyLambda() local 175 Proof pf; in rewriteOpDef() local
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
H A D | arith_theorem_producer.cpp | 56 Proof pf; in varToMult() local 237 Expr ArithTheoremProducer::canonMultConstPlus(const Expr & e1, const Expr & e2) { in canonMultConstPlus() 256 Expr ArithTheoremProducer::canonMultPowPow(const Expr & e1, in canonMultPowPow() 296 Expr ArithTheoremProducer::canonMultPowLeaf(const Expr & e1, in canonMultPowLeaf() 335 Expr ArithTheoremProducer::canonMultLeafLeaf(const Expr & e1, in canonMultLeafLeaf() 363 Expr ArithTheoremProducer::canonMultLeafOrPowMult(const Expr & e1, in canonMultLeafOrPowMult() 427 bool operator()(const Expr& e1, const Expr& e2) const { in operator ()() argument 532 Expr ArithTheoremProducer::canonMultLeafOrPowOrMultPlus(const Expr & e1, in canonMultLeafOrPowOrMultPlus() 551 Expr ArithTheoremProducer::canonMultPlusPlus(const Expr & e1, in canonMultPlusPlus() 588 const Expr& e1 = e[0]; in canonMultMtermMterm() local [all …]
|
H A D | arith_theorem_producer3.cpp | 57 Proof pf; in varToMult() local 231 Expr ArithTheoremProducer3::canonMultConstPlus(const Expr & e1, in canonMultConstPlus() 250 Expr ArithTheoremProducer3::canonMultPowPow(const Expr & e1, in canonMultPowPow() 290 Expr ArithTheoremProducer3::canonMultPowLeaf(const Expr & e1, in canonMultPowLeaf() 329 Expr ArithTheoremProducer3::canonMultLeafLeaf(const Expr & e1, in canonMultLeafLeaf() 357 Expr ArithTheoremProducer3::canonMultLeafOrPowMult(const Expr & e1, in canonMultLeafOrPowMult() 421 bool operator()(const Expr& e1, const Expr& e2) const { in operator ()() argument 510 Expr ArithTheoremProducer3::canonMultLeafOrPowOrMultPlus(const Expr & e1, in canonMultLeafOrPowOrMultPlus() 529 Expr ArithTheoremProducer3::canonMultPlusPlus(const Expr & e1, in canonMultPlusPlus() 561 const Expr& e1 = e[0]; in canonMultMtermMterm() local [all …]
|
H A D | arith_theorem_producer_old.cpp | 58 Proof pf; in varToMult() local 232 Expr ArithTheoremProducerOld::canonMultConstPlus(const Expr & e1, in canonMultConstPlus() 251 Expr ArithTheoremProducerOld::canonMultPowPow(const Expr & e1, in canonMultPowPow() 291 Expr ArithTheoremProducerOld::canonMultPowLeaf(const Expr & e1, in canonMultPowLeaf() 330 Expr ArithTheoremProducerOld::canonMultLeafLeaf(const Expr & e1, in canonMultLeafLeaf() 358 Expr ArithTheoremProducerOld::canonMultLeafOrPowMult(const Expr & e1, in canonMultLeafOrPowMult() 422 bool operator()(const Expr& e1, const Expr& e2) const { in operator ()() argument 511 Expr ArithTheoremProducerOld::canonMultLeafOrPowOrMultPlus(const Expr & e1, in canonMultLeafOrPowOrMultPlus() 530 Expr ArithTheoremProducerOld::canonMultPlusPlus(const Expr & e1, in canonMultPlusPlus() 562 const Expr& e1 = e[0]; in canonMultMtermMterm() local [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
H A D | array_theorem_producer.cpp | 135 Expr e1 = (store.getType().isBool())? in rewriteWriteWrite() local 233 Proof pf; in rewriteRedundantWrite1() local 250 Proof pf; in rewriteRedundantWrite2() local 269 Proof pf; in interchangeIndices() local 312 Proof pf; in readArrayLiteral() local 329 Proof pf; in liftReadIte() local 350 Proof pf; in arrayNotEq() local 381 Proof pf; in splitOnConstants() local 395 Proof pf; in propagateIndexDiseq() local
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/ |
H A D | bitvector_theorem_producer.cpp | 92 Proof pf; in bitvectorFalseRule() local 133 Proof pf; in bitvectorTrueRule() local 321 Expr e1 = pad(len, e[1]); in padBVLTRule() local 413 Expr e1 = d_theoryBitvector->newSXExpr(e[1], len); in padBVSLTRule() local 451 const Expr e1 = e[1]; in signBVLTRule() local 2615 Expr e1 = d_theoryBitvector->newBVExtractExpr(ite[1],hi,low); in iteExtractRule() local 2644 Expr e1 = d_theoryBitvector->newBVNegExpr(ite[1]); in iteBVnegRule() local 3460 Expr e1 = pad(len, (*i)[1]); in padBVPlus() local 3490 Expr e1 = pad(len, e[1]); in padBVMult() local 3563 Expr e0, e1; in bvMultAssocRule() local [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/search/ |
H A D | LFSCObject.cpp | 263 int LFSCObj::getNumNodes( const Expr& pf, bool recount ){ in getNumNodes() 539 bool LFSCObj::what_is_proven( const Expr& pf, Expr& pe ) in what_is_proven() 636 Expr e1 = Expr( IMPLIES, pf[1], pf[2] ); in what_is_proven() local 644 Expr e1 = Expr( EQ, pf[2], pf[3] ); in what_is_proven() local 651 Expr e1 = Expr( IFF, pf[1], pf[2] ); in what_is_proven() local 676 Expr e1 = Expr( NOT, pf[1] ); in what_is_proven() local 694 Expr e1 = Expr( pf[1].getKind(), er1, Expr( MINUS, pf[1][1], pf[1][0] ) ); in what_is_proven() local 752 Expr e1 = Expr( IFF, pf[1], pf[2] ); in what_is_proven() local
|
H A D | LFSCLraProof.cpp | 65 LFSCProof* LFSCLraMulC::Make(LFSCProof* pf, Rational r, int op) in Make() 119 Expr e1 = queryAtomic( e ); in Make() local
|
/dports/misc/vxl/vxl-3.3.2/contrib/gel/vtol/tests/ |
H A D | test_cycle_processor.cxx | 34 vtol_edge_sptr e1 = new vtol_edge_2d(v1, v2); in test_cycle_processor() local 68 vsol_point_2d_sptr pf = new vsol_point_2d(5.0, 0.0); in test_cycle_processor() local 125 vtol_edge_2d_sptr e1 = new vtol_edge_2d(v1, v2, c1); in test_cycle_processor() local 187 vtol_edge_sptr e1= new vtol_edge_2d(v1,v2); in test_cycle_processor() local 240 vtol_edge_sptr e1= new vtol_edge_2d(v1,v2); in test_cycle_processor() local
|
/dports/multimedia/ffmpeg/ffmpeg-4.4.1/libavcodec/ |
H A D | aacdec_fixed.c | 240 static av_always_inline SoftFloat flt16_round(SoftFloat pf) in flt16_round() 254 static av_always_inline SoftFloat flt16_even(SoftFloat pf) in flt16_even() 268 static av_always_inline SoftFloat flt16_trunc(SoftFloat pf) in flt16_trunc() 287 SoftFloat e0, e1; in predict() local
|
H A D | aacenc_pred.c | 40 static inline float flt16_round(float pf) in flt16_round() 48 static inline float flt16_even(float pf) in flt16_even() 56 static inline float flt16_trunc(float pf) in flt16_trunc() 74 const float e1 = e0 - k1 * r0; in predict() local
|
/dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/libavcodec/ |
H A D | aacdec_fixed.c | 232 static av_always_inline SoftFloat flt16_round(SoftFloat pf) in flt16_round() 246 static av_always_inline SoftFloat flt16_even(SoftFloat pf) in flt16_even() 260 static av_always_inline SoftFloat flt16_trunc(SoftFloat pf) in flt16_trunc() 279 SoftFloat e0, e1; in predict() local
|
H A D | aacenc_pred.c | 40 static inline float flt16_round(float pf) in flt16_round() 48 static inline float flt16_even(float pf) in flt16_even() 56 static inline float flt16_trunc(float pf) in flt16_trunc() 74 const float e1 = e0 - k1 * r0; in predict() local
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/ffmpeg/libavcodec/ |
H A D | aacenc_pred.c | 40 static inline float flt16_round(float pf) in flt16_round() 48 static inline float flt16_even(float pf) in flt16_even() 56 static inline float flt16_trunc(float pf) in flt16_trunc() 74 const float e1 = e0 - k1 * r0; in predict() local
|
H A D | aacdec_fixed.c | 237 static av_always_inline SoftFloat flt16_round(SoftFloat pf) in flt16_round() 251 static av_always_inline SoftFloat flt16_even(SoftFloat pf) in flt16_even() 265 static av_always_inline SoftFloat flt16_trunc(SoftFloat pf) in flt16_trunc() 284 SoftFloat e0, e1; in predict() local
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/libavcodec/ |
H A D | aacenc_pred.c | 40 static inline float flt16_round(float pf) in flt16_round() 48 static inline float flt16_even(float pf) in flt16_even() 56 static inline float flt16_trunc(float pf) in flt16_trunc() 74 const float e1 = e0 - k1 * r0; in predict() local
|
H A D | aacdec_fixed.c | 237 static av_always_inline SoftFloat flt16_round(SoftFloat pf) in flt16_round() 251 static av_always_inline SoftFloat flt16_even(SoftFloat pf) in flt16_even() 265 static av_always_inline SoftFloat flt16_trunc(SoftFloat pf) in flt16_trunc() 284 SoftFloat e0, e1; in predict() local
|
/dports/multimedia/handbrake/ffmpeg-4.4/libavcodec/ |
H A D | aacdec_fixed.c | 240 static av_always_inline SoftFloat flt16_round(SoftFloat pf) in flt16_round() 254 static av_always_inline SoftFloat flt16_even(SoftFloat pf) in flt16_even() 268 static av_always_inline SoftFloat flt16_trunc(SoftFloat pf) in flt16_trunc() 287 SoftFloat e0, e1; in predict() local
|
H A D | aacenc_pred.c | 40 static inline float flt16_round(float pf) in flt16_round() 48 static inline float flt16_even(float pf) in flt16_even() 56 static inline float flt16_trunc(float pf) in flt16_trunc() 74 const float e1 = e0 - k1 * r0; in predict() local
|
/dports/emulators/nestopia/nestopia-1.51.1/source/core/ |
H A D | NstVideoFilterxBR.cpp | 311 YUVPixel e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, ea, eb, ec, ed, ee, ef; in Xbr4X() local 314 YUVPixel pa, pb, pc, pd, pe, pf, pg, ph, pi, a1, b1, c1, a0, d0, g0, c4, f4, i4, g5, h5, i5; in Xbr4X() local 448 YUVPixel e0, e1, e2, e3, e4, e5, e6, e7, e8; in Xbr3X() local 451 YUVPixel pa, pb, pc, pd, pe, pf, pg, ph, pi, a1, b1, c1, a0, d0, g0, c4, f4, i4, g5, h5, i5; in Xbr3X() local 580 YUVPixel e0, e1, e2, e3; in Xbr2X() local 583 YUVPixel pa, pb, pc, pd, pe, pf, pg, ph, pi, a1, b1, c1, a0, d0, g0, c4, f4, i4, g5, h5, i5; in Xbr2X() local 650 …void Renderer::FilterxBR::Kernel2X(YUVPixel pe, YUVPixel pi, YUVPixel ph, YUVPixel pf, YUVPixel pg… in Kernel2X() 691 const YUVPixel ph, const YUVPixel pf, const YUVPixel pg, in Kernel3X() 731 const YUVPixel ph, const YUVPixel pf, const YUVPixel pg, in Kernel4X()
|
/dports/games/libretro-nestopia/nestopia-2b0315c/source/core/ |
H A D | NstVideoFilterxBR.cpp | 311 YUVPixel e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, ea, eb, ec, ed, ee, ef; in Xbr4X() local 314 YUVPixel pa, pb, pc, pd, pe, pf, pg, ph, pi, a1, b1, c1, a0, d0, g0, c4, f4, i4, g5, h5, i5; in Xbr4X() local 448 YUVPixel e0, e1, e2, e3, e4, e5, e6, e7, e8; in Xbr3X() local 451 YUVPixel pa, pb, pc, pd, pe, pf, pg, ph, pi, a1, b1, c1, a0, d0, g0, c4, f4, i4, g5, h5, i5; in Xbr3X() local 580 YUVPixel e0, e1, e2, e3; in Xbr2X() local 583 YUVPixel pa, pb, pc, pd, pe, pf, pg, ph, pi, a1, b1, c1, a0, d0, g0, c4, f4, i4, g5, h5, i5; in Xbr2X() local 650 …void Renderer::FilterxBR::Kernel2X(YUVPixel pe, YUVPixel pi, YUVPixel ph, YUVPixel pf, YUVPixel pg… in Kernel2X() 691 const YUVPixel ph, const YUVPixel pf, const YUVPixel pg, in Kernel3X() 731 const YUVPixel ph, const YUVPixel pf, const YUVPixel pg, in Kernel4X()
|