Searched refs:collectRef (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
| H A D | datatypes_rewriter.h | 219 static Node collectRef(Node n,
|
| H A D | datatypes_rewriter.cpp | 661 Node s = collectRef(n, sk, rf, rf_pending, terms, cdts); in normalizeCodatatypeConstant()
816 Node DatatypesRewriter::collectRef(Node n, in collectRef() function in CVC4::theory::datatypes::DatatypesRewriter
847 Node nc = collectRef(n[i], sk, rf, rf_pending, terms, cdts); in collectRef()
|