Searched refs:divisorSymb (Results 1 – 1 of 1) sorted by relevance
2100 unsigned divisorSymb = TPTP::addIntegerConstant(numeral,_overflow,false); in parseRankedFunctionApplication() local2101 TermList divisorTerm = TermList(Term::createConstant(divisorSymb)); in parseRankedFunctionApplication()