diff options
Diffstat (limited to 'lib/SMT/SMTParser.h')
| -rw-r--r-- | lib/SMT/SMTParser.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/SMT/SMTParser.h b/lib/SMT/SMTParser.h index bae4a23f..3d64a9b2 100644 --- a/lib/SMT/SMTParser.h +++ b/lib/SMT/SMTParser.h @@ -60,6 +60,10 @@ class SMTParser : public klee::expr::Parser { void DeclareExpr(std::string name, Expr::Width w); + ExprHandle CreateAnd(std::vector<ExprHandle>); + ExprHandle CreateOr(std::vector<ExprHandle>); + ExprHandle CreateXor(std::vector<ExprHandle>); + typedef std::map<const std::string, ExprHandle> VarEnv; typedef std::map<const std::string, ExprHandle> FVarEnv; |