Home
last modified time | relevance | path

Searched +defs:pf +defs:e1 (Results 1 – 25 of 186) sorted by relevance

12345678

/dports/math/cvc3/cvc3-2.4.1/src/theory_records/
H A Drecords_theorem_producer.cpp42 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 Dcore_theorem_producer.cpp55 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 Dtheorem_producer.cpp83 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 Dcommon_theorem_producer.cpp56 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 Duf_theorem_producer.cpp64 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 Darith_theorem_producer.cpp56 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 Darith_theorem_producer3.cpp57 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 Darith_theorem_producer_old.cpp58 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 Darray_theorem_producer.cpp135 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 Dbitvector_theorem_producer.cpp92 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 DLFSCObject.cpp263 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 DLFSCLraProof.cpp65 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 Dtest_cycle_processor.cxx34 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 Daacdec_fixed.c240 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 Daacenc_pred.c40 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 Daacdec_fixed.c232 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 Daacenc_pred.c40 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 Daacenc_pred.c40 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 Daacdec_fixed.c237 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 Daacenc_pred.c40 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 Daacdec_fixed.c237 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 Daacdec_fixed.c240 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 Daacenc_pred.c40 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 DNstVideoFilterxBR.cpp311 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 DNstVideoFilterxBR.cpp311 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()

12345678