Home
last modified time | relevance | path

Searched defs:mpat (Results 1 – 19 of 19) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/
H A Dcandidate_generator.cpp131 CandidateGeneratorQELitDeq::CandidateGeneratorQELitDeq( QuantifiersEngine* qe, Node mpat ) : in CandidateGeneratorQELitDeq()
161 CandidateGeneratorQEAll::CandidateGeneratorQEAll( QuantifiersEngine* qe, Node mpat ) : in CandidateGeneratorQEAll()
206 QuantifiersEngine* qe, Node mpat) in CandidateGeneratorConsExpand()
H A Dinst_strategy_e_matching.cpp356 Node mpat = pat; in generateTriggers() local
504 void InstStrategyAutoGenTriggers::addPatternToPool( Node q, Node pat, unsigned num_fv, Node mpat ) { in addPatternToPool()
/dports/print/scribus-devel/scribus-1.5.7/scribus/
H A Dscpainterex_cairo.cpp763 cairo_pattern_t *mpat = nullptr; in drawFourColorGradient() local
840 cairo_pattern_t *mpat = nullptr; in drawDiamondGradient() local
1064 cairo_pattern_t *mpat = nullptr; in drawMeshGradient() local
1142 cairo_pattern_t *mpat = nullptr; in drawFreeMeshGradient() local
H A Dscpainter.cpp758 cairo_pattern_t *mpat = nullptr; in fillPathHelper() local
/dports/math/clblas/clBLAS-2.10/src/library/blas/include/
H A Dclblas-internal.h330 makeSolverID(int fid, int mpat) in makeSolverID()
/dports/audio/x42-plugins-lv2/x42-plugins-20211016/dpl.lv2/src/
H A Dlv2.cc76 cairo_pattern_t* mpat; member
/dports/graphics/argyllcms/Argyll_V1.9.2/profile/
H A Dprofin.c867 cow *mpat; in make_input_icc() local
/dports/audio/x42-plugins-lv2/x42-plugins-20211016/darc.lv2/src/
H A Dlv2.c363 cairo_pattern_t* mpat; member
/dports/games/powwow/powwow-1.2.17/
H A Dutils.c332 static char mpat[BUFSIZE]; in __P2() local
H A Dmain.c1122 char mpat[BUFSIZE], *npat=0, *npat2=0, *src=line, *nsrc=0, c; in __P4() local
/dports/audio/x42-plugins-lv2/x42-plugins-20211016/meters.lv2/gui/
H A Dkmeter.c68 cairo_pattern_t* mpat; member
H A Ddr14meter.c107 cairo_pattern_t* mpat; member
H A Ddpm.c98 cairo_pattern_t* mpat; member
/dports/audio/x42-plugins-lv2/x42-plugins-20211016/meters.lv2/src/
H A Dmeters.cc160 cairo_pattern_t* mpat; member
/dports/math/form/form-4.2.1/sources/
H A Dsort.c3581 WORD *p, lpat, mpat, level, l1, l2, r1, r2, r3, c; local
H A Dthreads.c3570 WORD lpat, mpat, level, l1, l2, r1, r2, r3, c; in MasterMerge() local
/dports/math/dune-uggrid/dune-uggrid-bc2d1229420367563410ce9e519f5ff82b45266f/dune/uggrid/gm/
H A Drefine.cc2048 INT epat,mpat,eaddpat,maddpat; in Scatter_ElementInfo() local
/dports/editors/vim/vim-8.2.3745/src/
H A Devalfunc.c8382 char_u *spat, *mpat, *epat; in searchpair_cmn() local
8511 char_u *mpat, // middle pattern in do_searchpair()
/dports/editors/neovim/neovim-0.6.1/src/nvim/eval/
H A Dfuncs.c8445 const char *mpat = tv_get_string_buf_chk(&argvars[1], nbuf1); in searchpair_cmn() local
8549 long do_searchpair(const char *spat, const char *mpat, const char *epat, int dir, in do_searchpair()