Home
last modified time | relevance | path

Searched refs:PDef (Results 1 – 21 of 21) sorted by relevance

/dports/x11-fm/gentoo/gentoo-0.20.7/src/
H A Dcfg_dirpane.c83 } PDef; typedef
134 PDef *def;
156 PDef pane[2];
250 PDef *def = user; in evt_aview_row_activated()
684 PDef *def = user;
790 PDef *def = user; in evt_sort_set_content()
798 PDef *def = user; in evt_sort_set_mode()
806 PDef *def = user; in evt_sort_invert_clicked()
814 PDef *def = user; in evt_sort_nocase_clicked()
824 PDef *def = user; in evt_default_path_changed()
[all …]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rewriting/
H A DNonLinPattern.hs152 PDef (conName c) <$> patternFrom r k (ct , Con c ci []) (map Apply vs)
164 PDef f <$> patternFrom r k (ft , Def f []) es
168 PDef (conName c) <$> patternFrom r k (ct , Con c ci []) vs
204 PDef f es -> (theDef <$> getConstInfo f) >>= \case
249 PDef _ es -> nlPatVarsUnder k es
284 PDef f _ -> singleton f
314 PDef _ es -> freeVars' es
H A DClause.hs68 ConP c _ ps -> app $ PDef (conName c) $ toNLPat ps
72 DefP _ f ps -> app $ PDef f $ toNLPat ps
H A DNonLinMatch.hs295 PDef f ps -> traceSDoc "rewriting.match" 60 ("matching a PDef: " <+> prettyTCM f) $ do
308 pbody = PDef f $ raise 1 ps ++ [ Apply $ Arg ai $ PTerm $ var 0 ]
320 mkField fld = PDef f (ps ++ [Proj ProjSystem fld])
H A DConfluence.hs410 u <- nlPatToTerm $ PDef f ps
/dports/math/mathgl/mathgl-2.5/include/mgl2/
H A Dcanvas.h72 …mglDrawReg(const mglDrawReg &aa) : PDef(aa.PDef),angle(aa.angle),ObjId(aa.ObjId),PenWidth(aa.PenWi… in mglDrawReg()
74 …mglDrawReg(mglDrawReg &&aa) : PDef(aa.PDef),angle(aa.angle),ObjId(aa.ObjId),PenWidth(aa.PenWidth),… in mglDrawReg()
77 { PDef = p.n3; pPos = p.s; ObjId = p.id; PenWidth=p.w; angle = p.angl; in copy()
78 if(p.type==2 || p.type==3) PDef = p.m; } in copy()
80 …{ PDef=aa.PDef; angle=aa.angle; ObjId=aa.ObjId; PenWidth=aa.PenWidth; pPos=aa.pPos; x1=aa.x1; x2=a…
83 uint64_t PDef; member
H A Dbase.h688 unsigned PDef; ///< Pen bit mask variable
/dports/math/mathgl/mathgl-2.5/src/
H A Dopengl.cpp70 int pdef=PDef; in Finish()
75 p=GetPrm(i); PDef=p.n3; pPos=p.s; PenWidth=p.w; in Finish()
91 PDef=pdef; pPos=ss; PenWidth=ww; in Finish()
296 if(PDef==0) return; in line_draw()
297 set_pen(PDef,PenWidth, pPos); in line_draw()
324 if(PDef==0) return; in line_draw()
325 set_pen(PDef,PenWidth, pPos); in line_draw()
353 d->PDef = MGL_SOLID_MASK; d->angle = 0; in mark_draw()
H A Dpixel_pix.cpp41 d.PDef = p.n3; d.pPos = p.s; in pxl_primpx()
44 if(p.type==2 || p.type==3) d.PDef = p.m; in pxl_primpx()
130 if(v>pw*pw || !(dr->PDef & ( (uint64_t)1<<long(fmod(dr->pPos+u/pw, 16)) ) )) return; in line_pix()
166 d->PDef = MGL_SOLID_MASK; d->angle = 0; in mark_pix()
306 if(d) { d->PDef = MGL_SOLID_MASK; d->angle = 0; d->PenWidth=1; } in glyph_pix()
H A Dcanvas.cpp349 d.PDef = PDef; d.pPos = pPos; mark_draw(Pnt[p],type,size,&d); }\
369 d.PDef = PDef; d.pPos = pPos; line_draw(Pnt[p1],Pnt[p2],&d); }\
370 else { mglPrim a(1); a.n3=PDef; a.s = pPos; \
374 if(PDef==0) return; in line_plot()
542 PDef = 0xffff; // reset to solid line in text_plot()
575 d.PDef = s; d.pPos = a.s; d.PenWidth=a.w; in Glyph()
601 d.PDef = size<0?4:0; d.pPos = a.s; d.PenWidth=a.w; in smbl_plot()
H A Dpixel_gen.cpp150 PDef = gr->mask; angle = gr->MaskAn; in set()
526 Fog(0); PDef = 0xffff; pPos = 0; in Clf()
534 Fog(0); PDef = 0xffff; pPos = 0; in Clf()
H A Dbase.cpp1353 PDef = 0xffff; // reset to solid line in SetPenPal()
1373 if(m>0 && p[i]=='d') PDef = strtol(p+i+1,0,16); in SetPenPal()
1377 { PDef = val[s-stl]; sprintf(last_style+6,"%04x",PDef); last_style[10]='}'; } in SetPenPal()
H A Dpixel.cpp478 const uint64_t pd = d->PDef; in quad_draw()
545 const uint64_t pd = d->PDef; in trig_draw()
611 const uint64_t pd = dr->PDef; in line_draw()
750 dr->PDef = MGL_SOLID_MASK; dr->angle = 0; in mark_draw()
1130 if(d) { d->PDef = MGL_SOLID_MASK; d->angle = 0; d->PenWidth=(P.n3&4)?1.2:0.8; } in glyph_draw()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DInternal.hs238 icod_ (PDef a b) = icodeN 1 PDef a b
247 valu [1, a, b] = valuN PDef a b
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DPretty.hs395 prettyTCM (PDef f es) = parens $
432 [ prettyTCM (PDef f ps)
H A DSubstitute.hs885 PDef{} -> Nothing
899 PDef f es -> __IMPOSSIBLE__
912 PDef f es -> PDef f $ applySubst rho es
924 PDef f es -> __IMPOSSIBLE__
H A DRewriting.hs269 "Pattern generated from lhs: " <+> prettyTCM (PDef f ps)
H A DReduce.hs1417 instantiateFull' (PDef x y) = PDef <$> instantiateFull' x <*> instantiateFull' y
/dports/print/scribus-devel/scribus-1.5.7/scribus/
H A Dscribus.h659 } PDef ; variable
H A Dscribus.cpp620 PDef.Pname.clear(); in initDefaultValues()
621 PDef.Dname.clear(); in initDefaultValues()
622 PDef.Command.clear(); in initDefaultValues()
4313 getDefaultPrinter(PDef.Pname, PDef.Pname, PDef.Command); in slotReallyPrint()
8566 PDef.Pname = name; in setDefaultPrinter()
8567 PDef.Dname = file; in setDefaultPrinter()
8568 PDef.Command = command; in setDefaultPrinter()
8573 name = PDef.Pname; in getDefaultPrinter()
8574 file = PDef.Dname; in getDefaultPrinter()
8575 command = PDef.Command; in getDefaultPrinter()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs1677 | PDef QName PElims constructor
4525 killRange (PDef x y) = killRange2 PDef x y