From 20e37ecc9acf75ece81948c6dfd7420130621a12 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 25 Sep 2019 18:33:28 +0200 Subject: Missing files --- src/trace/smtMaps.mli | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 src/trace/smtMaps.mli (limited to 'src/trace/smtMaps.mli') diff --git a/src/trace/smtMaps.mli b/src/trace/smtMaps.mli new file mode 100644 index 0000000..7808854 --- /dev/null +++ b/src/trace/smtMaps.mli @@ -0,0 +1,25 @@ +(**************************************************************************) +(* *) +(* SMTCoq *) +(* Copyright (C) 2011 - 2019 *) +(* *) +(* See file "AUTHORS" for the list of authors *) +(* *) +(* This file is distributed under the terms of the CeCILL-C licence *) +(* *) +(**************************************************************************) + + +(** Maps that store SMT objects **) + +(* SMT types *) +val get_btype : string -> SmtBtype.btype +val add_btype : string -> SmtBtype.btype -> unit + +(* SMT function symbols *) +val get_fun : string -> SmtAtom.indexed_op +val add_fun : string -> SmtAtom.indexed_op -> unit +val remove_fun : string -> unit + +(* Clean-up of all the maps *) +val clear : unit -> unit -- cgit