21#ifndef __CVC4__PICKLER_H
22#define __CVC4__PICKLER_H
46 friend class PicklerPrivate;
62 PicklerPrivate* d_private;
64 friend class PicklerPrivate;
120 VarMap::const_iterator i = d_toMap.find(x);
121 if(i != d_toMap.end()) {
Class encapsulating CVC4 expressions and methods for constructing new expressions.
virtual uint64_t variableFromMap(uint64_t x) const
MapPickler(ExprManager *em, const VarMap &to, const VarMap &from)
virtual uint64_t variableToMap(uint64_t x) const
Pickle & operator=(const Pickle &other)
virtual uint64_t variableFromMap(uint64_t x) const
static void debugPickleTest(Expr e)
Expr fromPickle(Pickle &p)
Constructs a node from a Pickle.
virtual uint64_t variableToMap(uint64_t x) const
void toPickle(Expr e, Pickle &p)
Constructs a new Pickle of the node n.
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4's exception base class and some associated utilities.
__gnu_cxx::hash_map< uint64_t, uint64_t > VarMap
[[ Add one-line brief description here ]]