Searched refs:negatedSum (Results 1 – 1 of 1) sorted by relevance
81 auto negatedSum = (expr + 10).dyn_cast<SDBMNegExpr>(); in TEST() local82 ASSERT_TRUE(negatedSum); in TEST()83 auto sum = negatedSum.getVar().dyn_cast<SDBMSumExpr>(); in TEST()