Searched refs:getArrayConstituentType (Results 1 – 10 of 10) sorted by relevance
43 return arrayType.getArrayConstituentType(); in computeType()61 if(!valueType.isSubtypeOf(arrayType.getArrayConstituentType())){ in computeType()62 Debug("array-types") << "array type: "<< arrayType.getArrayConstituentType() << std::endl; in computeType()
47 d_constituentType(type.getArrayConstituentType()),
1186 defaultValuesSet.add(nrep.getType().getArrayConstituentType(), (*it).second); in collectModelInfo()1202 TypeNode valueType = nrep.getType().getArrayConstituentType(); in collectModelInfo()
127 atn = atn.getArrayConstituentType(); in getFunctionTypeForArrayType()294 Assert( curr.getType().isSubtypeOf( array_type.getArrayConstituentType() ) ); in getArrayRepresentationForLambdaRec()
507 TypeNode getArrayConstituentType() const;894 inline TypeNode TypeNode::getArrayConstituentType() const { in getArrayConstituentType() function
105 TypeNode tnc = getArrayConstituentType(); in isInterpretedFinite()
522 return makeType(d_typeNode->getArrayConstituentType()); in getConstituentType()
193 || involvesUSort(tn.getArrayConstituentType()); in involvesUSort()259 addToTypeList(tn.getArrayConstituentType(), type_list, visiting); in addToTypeList()
601 current.getType().getArrayConstituentType(), currentSub); in processUnconstrained()
899 TypeNode elemType = n[0].getType().getArrayConstituentType(); in toStream()904 …TypeNode elemType = TypeNode::leastCommonTypeNode( n[0].getType().getArrayConstituentType(), n[2].… in toStream()