mirror of
https://github.com/Z3Prover/z3
synced 2025-08-10 05:00:51 +00:00
25 lines
433 B
C++
25 lines
433 B
C++
/*++
|
|
Copyright (c) 2017 Arie Gurfinkel
|
|
Module Name:
|
|
|
|
marshal.h
|
|
|
|
Abstract:
|
|
|
|
marshaling and unmarshaling of expressions
|
|
|
|
--*/
|
|
#pragma once
|
|
|
|
#include <string>
|
|
#include <ostream>
|
|
|
|
#include "ast/ast.h"
|
|
|
|
std::ostream &marshal(std::ostream &os, expr_ref e, ast_manager &m);
|
|
std::string marshal(expr_ref e, ast_manager &m);
|
|
expr_ref unmarshal(std::string s, ast_manager &m);
|
|
expr_ref unmarshal(std::istream &is, ast_manager &m);
|
|
|
|
|
|
|