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