Searched defs:isSortConstructor (Results 1 – 3 of 3) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/expr/ | ||
| H A D | type_node.cpp | 507 bool TypeNode::isSortConstructor() const { in isSortConstructor() function in CVC4::TypeNode |
| H A D | type.cpp | 339 bool Type::isSortConstructor() const { in isSortConstructor() function in CVC4::Type |
| /dports/math/cvc4/CVC4-1.7/src/api/ | ||
| H A D | cvc4cpp.cpp | 810 bool Sort::isSortConstructor() const { return d_type->isSortConstructor(); } in isSortConstructor() function in CVC4::api::Sort |