Searched refs:defaultMinusExpr (Results 1 – 2 of 2) sorted by relevance
445 Expr defaultMinusExpr ; variable
226 defaultMinusExpr= theoryCore()->getEM()->newStringExpr("-"); in TheoryQuant()1078 return defaultMinusExpr; in getHeadExpr()