Searched defs:leExpr (Results 1 – 5 of 5) sorted by relevance
223 inline Expr leExpr(const Expr& left, const Expr& right) in leExpr() function
1363 Expr VCL::leExpr(const Expr& left, const Expr& right) in leExpr() function in VCL
1614 Expr leExpr = andExpr[0]; in rewrite() local
481 Expr leExpr = newBVLEExpr(newBVConstExpr(i, bvsize), t[1]); in bitBlastTerm() local
1064 public ExprMut leExpr(Expr left, Expr right) throws Cvc3Exception { in leExpr() method in ValidityChecker