Searched refs:renameExpr (Results 1 – 8 of 8) sorted by relevance
/dports/cad/alliance/alliance/src/proof/src/ |
H A D | proof_compile.c | 100 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 D | modules.yy | 35 | renameExpr expectedDot 66 | renameExpr 78 renameExpr : moduleExpr2 '*' renaming
|
H A D | ChangeLog | 2901 * 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 D | theory.h | 732 Theorem renameExpr(const Expr& e);
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
H A D | theory.cpp | 935 Theorem Theory::renameExpr(const Expr& e) { in renameExpr() function in Theory
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
H A D | theory_array.cpp | 710 Theorem renameTheorem = renameExpr(d); in update()
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/translator/ |
H A D | translator.cpp | 13619 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 D | theory_bitvector.cpp | 2783 Theorem renameTheorem = renameExpr(d); in update()
|