Searched defs:boundVarExpr (Results 1 – 2 of 2) sorted by relevance
1733 Expr VCL::boundVarExpr(const string& name, const string& uid, in boundVarExpr() function in VCL
691 public ExprMut boundVarExpr(String name, String uid, Type type) throws Cvc3Exception { in boundVarExpr() method in ValidityChecker