Searched refs:extractTerms (Results 1 – 2 of 2) sorted by relevance
61 void CounterExpressionBuilder::extractTerms(Counter C, int Factor, in extractTerms() function in CounterExpressionBuilder71 extractTerms(E.LHS, Factor, Terms); in extractTerms()72 extractTerms( in extractTerms()81 extractTerms(ExpressionTree, +1, Terms); in simplify()
201 void extractTerms(Counter C, int Sign, SmallVectorImpl<Term> &Terms);