Searched defs:newTerm (Results 1 – 1 of 1) sorted by relevance
627 TermPtr newTerm = alloc<Term>(hasher_, negate, rhsTerm->variables()); in mutate() local807 TermPtr newTerm = mulTerms(var, term); in polyByTerm() local