Searched refs:getFirstArgOccurrence (Results 1 – 2 of 2) sorted by relevance
94 int getFirstArgOccurrence(const DatatypeConstructor& c, TypeNode tn);
169 int firstArg = getFirstArgOccurrence(pdt[pc], tn); in considerArgKind()573 int SygusSimpleSymBreak::getFirstArgOccurrence(const DatatypeConstructor& c, in getFirstArgOccurrence() function in CVC4::theory::datatypes::SygusSimpleSymBreak