Searched defs:mkNullaryOperator (Results 1 – 2 of 2) sorted by path
/dports/math/cvc4/CVC4-1.7/src/expr/ | ||
H A D | expr_manager_template.cpp | 927 Expr ExprManager::mkNullaryOperator(Type type, Kind k){ in mkNullaryOperator() function in CVC4::ExprManager |
H A D | node_manager.cpp | 773 Node NodeManager::mkNullaryOperator(const TypeNode& type, Kind k) { in mkNullaryOperator() function in CVC4::NodeManager |