Home
last modified time | relevance | path

Searched refs:rewr (Results 1 – 25 of 38) sorted by relevance

12

/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Dapply_to_const.cpp87 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 Db-kwxout.h24 FILE *to, *rewr; member
39 .rewr = REWR, \
H A Drcsedit.c1109 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 Drcsgen.c272 frew = FLOW (rewr); in putdesc()
395 if (!(fout = FLOW (rewr))) in putadmin()
410 if (!(FLOW (rewr) = fout)) in putadmin()
H A Drcs.c336 to = FLOW (to) = FLOW (rewr); in scanlogtext()
985 FILE *frew = FLOW (rewr); in buildeltatext()
1476 puttree (tip, FLOW (rewr)); in rcs_main()
H A Db-kwxout.c318 frew = ctx->rewr; in expandline()
H A Dbase.h660 FILE *rewr; member
H A Dci.c991 frew = FLOW (rewr); in ci_main()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DReduce.hs599 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 Dtitle-transform.scm120 (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 DFast.hs116 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 Dgruntz.py232 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 Dserver-tmfs.scm393 (rewr (map rewrite-dir-entry filtered)))
394 (list :loaded rewr)))))))
/dports/math/libpgmath/flang-d07daf3/tools/flang1/flang1exe/
H A Dhlvect.h263 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 Dsmart_font.cpp54 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 Dgrep.tst3428 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 Dgrep.tst3428 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 Dgrep.tst3426 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 Dgrep.tst3426 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 Dgrep.tst3428 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 Dgrep.tst3426 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 Drealforms.gi2061 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 DChangeLog.111064 * 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 DChangeLog.111064 * 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 DMANIFEST1772 lisp/calc/calc-rewr.el
1773 lisp/calc/calc-rewr.elc

12