Home
last modified time | relevance | path

Searched refs:renameExpr (Results 1 – 8 of 8) sorted by relevance

/dports/cad/alliance/alliance/src/proof/src/
H A Dproof_compile.c100 renameExpr (expr, func) in renameExpr() function
110 renameExpr (CAR (expr), func);
191 renameExpr (aux->ABL, func);
201 renameExpr (msg->ABL, func);
212 renameExpr (out->ABL, func);
226 renameExpr (biabl->CNDABL, func);
227 renameExpr (biabl->VALABL, func);
243 renameExpr (biabl->CNDABL, func);
244 renameExpr (biabl->VALABL, func);
260 renameExpr (biabl->CNDABL, func);
[all …]
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dmodules.yy35 | renameExpr expectedDot
66 | renameExpr
78 renameExpr : moduleExpr2 '*' renaming
H A DChangeLog2901 * modules.yy (renameExpr): added
2903 (moduleExpr2): use renameExpr
2908 renameExpr, instantExpr in order to detect and recover from
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory.h732 Theorem renameExpr(const Expr& e);
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory.cpp935 Theorem Theory::renameExpr(const Expr& e) { in renameExpr() function in Theory
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/
H A Dtheory_array.cpp710 Theorem renameTheorem = renameExpr(d); in update()
/dports/textproc/zorba/zorba-2.7.0/src/compiler/translator/
H A Dtranslator.cpp13619 expr* renameExpr = theExprManager-> in end_visit() local
13622 push_nodestack(renameExpr); in end_visit()
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dtheory_bitvector.cpp2783 Theorem renameTheorem = renameExpr(d); in update()