Home
last modified time | relevance | path

Searched defs:regExpType (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dnode_manager.h1041 inline TypeNode NodeManager::regExpType() { in regExpType() function
H A Dexpr_manager_template.cpp147 RegExpType ExprManager::regExpType() const { in regExpType() function in CVC4::ExprManager