Home
last modified time | relevance | path

Searched refs:isParametricDatatype (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dtype_node.cpp279 } else if (isParametricDatatype()) { in getBaseType()
306 Assert(isParametricDatatype()); in getParamTypes()
H A Dtype_node.h611 bool isParametricDatatype() const;
962 inline bool TypeNode::isParametricDatatype() const { in isParametricDatatype() function
H A Dtype.cpp555 return d_typeNode->isParametricDatatype(); in isParametric()
H A Dsymbol_table.cpp210 if (tna.isParametricDatatype()) in getOverloadedFunctionForTypes()
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cpp.h282 bool isParametricDatatype() const;
H A Dcvc4cpp.cpp789 bool Sort::isParametricDatatype() const in isParametricDatatype() function in CVC4::api::Sort
825 CVC4_API_CHECK(isParametricDatatype() || isSortConstructor()) in instantiate()
953 CVC4_API_CHECK(isParametricDatatype()) << "Not a parametric datatype sort."; in getDatatypeParamSorts()