Searched refs:buildTermAlgebraConstructor (Results 1 – 2 of 2) sorted by relevance
278 TermAlgebraConstructor* buildTermAlgebraConstructor(vstring constrName, unsigned taSort,
993 constructors.push(buildTermAlgebraConstructor(constrName, taSort, destructorNames, argSorts)); in readDeclareDatatypes()1007 TermAlgebraConstructor* SMTLIB2::buildTermAlgebraConstructor(vstring constrName, unsigned taSort, in buildTermAlgebraConstructor() function in Parse::SMTLIB2