Searched refs:destructorNames (Results 1 – 2 of 2) sorted by relevance
279 … Stack<vstring> destructorNames, Stack<unsigned> argSorts);
956 Stack<vstring> destructorNames; in readDeclareDatatypes() local971 destructorNames.reset(); in readDeclareDatatypes()986 destructorNames.push(argRdr.readAtom()); in readDeclareDatatypes()993 constructors.push(buildTermAlgebraConstructor(constrName, taSort, destructorNames, argSorts)); in readDeclareDatatypes()1008 … Stack<vstring> destructorNames, Stack<unsigned> argSorts) { in buildTermAlgebraConstructor() argument1031 vstring destructorName = destructorNames[i]; in buildTermAlgebraConstructor()