Searched defs:plusExpr (Results 1 – 9 of 9) sorted by relevance
199 inline Expr plusExpr(const Expr& left, const Expr& right) in plusExpr() function201 inline Expr plusExpr(const std::vector<Expr>& children) { in plusExpr() function
189 function plusExpr(r : RegExpr) : RegExpr; in plusExpr() function619 function plusExpr(r : RegExpr) : RegExpr; in plusExpr() function
67 else if (UnaryPlusExpression *plusExpr = cast<UnaryPlusExpression*>(expr)) in isLiteralValue() local
1322 Expr VCL::plusExpr(const Expr& left, const Expr& right) in plusExpr() function in VCL1327 Expr VCL::plusExpr(const std::vector<Expr>& children) in plusExpr() function in VCL
516 public static Expr plusExpr(ValidityChecker vc, List kids) throws Cvc3Exception { in plusExpr() method in Test
1022 public ExprMut plusExpr(Expr left, Expr right) throws Cvc3Exception { in plusExpr() method in ValidityChecker1028 public ExprMut plusExpr(List kids) throws Cvc3Exception { in plusExpr() method in ValidityChecker
470 Expr plusExpr(ValidityChecker* vc, vector<Expr>& kids) in plusExpr() function
245 else if (auto plusExpr = AST::cast<AST::UnaryPlusExpression*>(expr)) in isLiteralValue() local