/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
H A D | apply_to_const.cpp | 87 Node rewr = builder; in rewriteApplyToConst() local 88 cache[n] = rewr; in rewriteApplyToConst() 89 Trace("rewriteApplyToConst") << "built :: " << rewr << std::endl; in rewriteApplyToConst() 90 return rewr; in rewriteApplyToConst()
|
/dports/devel/rcs/rcs-5.10.0/src/ |
H A D | b-kwxout.h | 24 FILE *to, *rewr; member 39 .rewr = REWR, \
|
H A D | rcsedit.c | 1109 frew = FLOW (rewr); in dorewrite() 1116 int nr = !!FLOW (rewr), ne = 0; in dorewrite() 1161 FILE *frew = FLOW (rewr); in donerewrite() 1173 r = chnamemod (&FLOW (rewr), newRCSname, repo_filename, changed, in donerewrite() 1176 frew = FLOW (rewr); in donerewrite() 1213 Ozclose (&FLOW (rewr)); in ORCSclose() 1231 if (FLOW (rewr)) in ORCSerror() 1233 close (fileno (FLOW (rewr))); in ORCSerror()
|
H A D | rcsgen.c | 272 frew = FLOW (rewr); in putdesc() 395 if (!(fout = FLOW (rewr))) in putadmin() 410 if (!(FLOW (rewr) = fout)) in putadmin()
|
H A D | rcs.c | 336 to = FLOW (to) = FLOW (rewr); in scanlogtext() 985 FILE *frew = FLOW (rewr); in buildeltatext() 1476 puttree (tip, FLOW (rewr)); in rcs_main()
|
H A D | b-kwxout.c | 318 frew = ctx->rewr; in expandline()
|
H A D | base.h | 660 FILE *rewr; member
|
H A D | ci.c | 991 frew = FLOW (rewr); in ci_main()
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
H A D | Reduce.hs | 599 if null cls && null rewr then do 615 case (def,rewr) of 622 (cls,rewr) -> do 623 ev <- appDefE_ f v0 cls mcc rewr es 739 appDef_ f v0 cls mcc rewr args = appDefE_ f v0 cls mcc rewr $ map (fmap Apply) args 742 appDefE_ f v0 cls mcc rewr args = 744 maybe (appDefE' v0 cls rewr args) 745 (\cc -> appDefE v0 cc rewr args) mcc 751 appDef v cc rewr args = appDefE v cc rewr $ map (fmap Apply) args 754 appDefE v cc rewr es = do [all …]
|
/dports/editors/texmacs/TeXmacs-1.99.4-src/TeXmacs/progs/database/ |
H A D | title-transform.scm | 120 (rewr (rewrite-by-affiliation-bis (list nf) data))) 121 `(doc-author (author-data ,@(cdadr rewr) ,@notes)))
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/ |
H A D | Fast.hs | 116 compactDef bEnv def rewr = do 308 , cdefRewriteRules = rewr 436 rewr <- if rwr then instantiateRewriteRules =<< getRewriteRulesFor f 438 compactDef bEnv info rewr 1325 | null rewr = runAM s 1329 case runReduce (rewrite blk (applyE v0) rewr es) of 1332 where rewr = case t of function
|
/dports/math/py-sympy/sympy-1.9/sympy/series/ |
H A D | gruntz.py | 232 for var, rewr in s2.rewrites.items(): 233 res.rewrites[var] = rewr.xreplace(tr)
|
/dports/editors/texmacs/TeXmacs-1.99.4-src/TeXmacs/progs/server/ |
H A D | server-tmfs.scm | 393 (rewr (map rewrite-dir-entry filtered))) 394 (list :loaded rewr)))))))
|
/dports/math/libpgmath/flang-d07daf3/tools/flang1/flang1exe/ |
H A D | hlvect.h | 263 int rewr; /* new ili replacing the ili field */ member 308 #define MR_REWR(i) hlv.mrbase[i].rewr
|
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Graphics/Fonts/ |
H A D | smart_font.cpp | 54 add_font (tree fn, int rewr) { in add_font() 59 fn_rewr << rewr; in add_font()
|
/dports/shells/ksh93/ast-93u/src/cmd/kshlib/cmdtst/ |
H A D | grep.tst | 3428 rewr(Node *n, Node *(*f)()) 3431 return new(NList, rewr(n->l, f), rewr(n->r, f), (Node *)0); 3438 n1=rewr(n->l, op1); 3439 n2=rewr(n->l, op2); 3440 n3=rewr(n->l, op3);
|
/dports/shells/ksh93-devel/ast-cc1bca27/src/cmd/kshlib/cmdtst/ |
H A D | grep.tst | 3428 rewr(Node *n, Node *(*f)()) 3431 return new(NList, rewr(n->l, f), rewr(n->r, f), (Node *)0); 3438 n1=rewr(n->l, op1); 3439 n2=rewr(n->l, op2); 3440 n3=rewr(n->l, op3);
|
/dports/shells/ksh93/ast-93u/src/cmd/re/ |
H A D | grep.tst | 3426 rewr(Node *n, Node *(*f)()) 3429 return new(NList, rewr(n->l, f), rewr(n->r, f), (Node *)0); 3436 n1=rewr(n->l, op1); 3437 n2=rewr(n->l, op2); 3438 n3=rewr(n->l, op3);
|
/dports/shells/ksh93-devel/ast-cc1bca27/src/cmd/re/ |
H A D | grep.tst | 3426 rewr(Node *n, Node *(*f)()) 3429 return new(NList, rewr(n->l, f), rewr(n->r, f), (Node *)0); 3436 n1=rewr(n->l, op1); 3437 n2=rewr(n->l, op2); 3438 n3=rewr(n->l, op3);
|
/dports/shells/ast-ksh/ast-ksh93v/src/cmd/kshlib/cmdtst/ |
H A D | grep.tst | 3428 rewr(Node *n, Node *(*f)()) 3431 return new(NList, rewr(n->l, f), rewr(n->r, f), (Node *)0); 3438 n1=rewr(n->l, op1); 3439 n2=rewr(n->l, op2); 3440 n3=rewr(n->l, op3);
|
/dports/shells/ast-ksh/ast-ksh93v/src/cmd/builtin/ |
H A D | grep.tst | 3426 rewr(Node *n, Node *(*f)()) 3429 return new(NList, rewr(n->l, f), rewr(n->r, f), (Node *)0); 3436 n1=rewr(n->l, op1); 3437 n2=rewr(n->l, op2); 3438 n3=rewr(n->l, op3);
|
/dports/math/gap/gap-4.11.0/pkg/corelg-1.54/gap/ |
H A D | realforms.gi | 2061 aK, aP, mv, rewr, hh, halg, perm, j, ctrf, ctreal; 2231 rewr := function(k) if k=1 then return "K"; elif k=-1 then return "P"; fi; end; 2237 signs:= List(Concatenation(List(algs,x->Signs(VoganDiagram(x)))),rewr),
|
/dports/editors/emacs-devel/emacs-4d1968b/lisp/ |
H A D | ChangeLog.11 | 1064 * calc/calc-poly.el, calc/calc-prog.el, calc/calc-rewr.el 1990 * calc/calc-rewr.el (math-regs, math-num-regs, math-prog-last) 1996 (calc-rewr-sel): New variable. 1998 (calc-rewrite): Use the declared variable calc-rewr-sel instead 2578 * calc/calc-rewr.el (math-rewrite, math-rewrite-phase): 3297 * calc/calc-rewr.el (calc-match): Use an extra argument instead of
|
/dports/editors/emacs/emacs-27.2/lisp/ |
H A D | ChangeLog.11 | 1064 * calc/calc-poly.el, calc/calc-prog.el, calc/calc-rewr.el 1990 * calc/calc-rewr.el (math-regs, math-num-regs, math-prog-last) 1996 (calc-rewr-sel): New variable. 1998 (calc-rewrite): Use the declared variable calc-rewr-sel instead 2578 * calc/calc-rewr.el (math-rewrite, math-rewrite-phase): 3297 * calc/calc-rewr.el (calc-match): Use an extra argument instead of
|
/dports/editors/emacs/emacs-27.2/ |
H A D | MANIFEST | 1772 lisp/calc/calc-rewr.el 1773 lisp/calc/calc-rewr.elc
|