cvc4-1.3
pickler.h File Reference

This is a "pickler" for expressions. More...

#include "cvc4_public.h"
#include "expr/variable_type_map.h"
#include "expr/expr.h"
#include "util/exception.h"
#include <exception>
#include <stack>

Go to the source code of this file.

Data Structures

class  CVC4::expr::pickle::Pickle
 
class  CVC4::expr::pickle::PicklingException
 
class  CVC4::expr::pickle::Pickler
 
class  CVC4::expr::pickle::MapPickler
 

Namespaces

 CVC4
 
 CVC4::expr
 
 CVC4::expr::pickle
 

Detailed Description

This is a "pickler" for expressions.

** Original author: Morgan Deters
** Major contributors: none
** Minor contributors (to current version): Kshitij Bansal
** This file is part of the CVC4 project.
** Copyright (c) 2009-2013  New York University and The University of Iowa
** See the file COPYING in the top-level source directory for licensing
** information.

This is a "pickler" for expressions. It produces a binary serialization of an expression that can be converted back into an expression in the same or another ExprManager.

Definition in file pickler.h.