From add96bc98f74a029fae98679b965d5bf7e3580d1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 28 Aug 2013 21:24:34 -0700 Subject: [PATCH] re-organize muz_qe into separate units Signed-off-by: Nikolaj Bjorner --- src/muz/fp/dl_cmds.h | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 src/muz/fp/dl_cmds.h diff --git a/src/muz/fp/dl_cmds.h b/src/muz/fp/dl_cmds.h new file mode 100644 index 000000000..d71b319c4 --- /dev/null +++ b/src/muz/fp/dl_cmds.h @@ -0,0 +1,37 @@ +/*++ +Copyright (c) 2011 Microsoft Corporation + +Module Name: + + dl_cmds.h + +Abstract: + Datalog commands for SMT2 front-end. + +Author: + + Nikolaj Bjorner (nbjorner) 2012-11-17 + +Notes: + +--*/ +#ifndef _DL_CMDS_H_ +#define _DL_CMDS_H_ + +#include "ast.h" + +class cmd_context; + +struct dl_collected_cmds { + expr_ref_vector m_rules; + svector m_names; + expr_ref_vector m_queries; + func_decl_ref_vector m_rels; + dl_collected_cmds(ast_manager& m) : m_rules(m), m_queries(m), m_rels(m) {} +}; + +void install_dl_cmds(cmd_context & ctx); +void install_dl_collect_cmds(dl_collected_cmds& collected_cmds, cmd_context& ctx); + + +#endif