Searched defs:taSort (Results 1 – 1 of 1) sorted by relevance
965 unsigned taSort = env.sorts->addSort(taName, added, false); in readDeclareDatatypes() local1007 TermAlgebraConstructor* SMTLIB2::buildTermAlgebraConstructor(vstring constrName, unsigned taSort, in buildTermAlgebraConstructor()