Searched defs:ltExpr (Results 1 – 4 of 4) sorted by relevance
221 inline Expr ltExpr(const Expr& left, const Expr& right) in ltExpr() function
407 BinaryExpressionAST *ltExpr = andExpr->left_expression->asBinaryExpression(); in condition_1() local479 BinaryExpressionAST *ltExpr = andExpr->left_expression->asBinaryExpression(); in conditional_1() local
1357 Expr VCL::ltExpr(const Expr& left, const Expr& right) in ltExpr() function in VCL
1058 public ExprMut ltExpr(Expr left, Expr right) throws Cvc3Exception { in ltExpr() method in ValidityChecker