Searched defs:SDBMNegator (Results 1 – 1 of 1) sorted by relevance
201 struct SDBMNegator : public SDBMVisitor<SDBMNegator, SDBMExpr> { struct204 SDBMExpr visitDirect(SDBMDirectExpr expr) { return SDBMNegExpr::get(expr); } in visitDirect()207 SDBMExpr visitNeg(SDBMNegExpr expr) { return expr.getVar(); } in visitNeg()209 SDBMExpr visitConstant(SDBMConstantExpr expr) { in visitConstant()217 SDBMExpr visitDiff(SDBMDiffExpr expr) { in visitDiff()