#include <pickler.h>
Definition at line 102 of file pickler.h.
virtual CVC4::expr::pickle::MapPickler::~MapPickler |
( |
| ) |
|
throw | ( | |
| ) | | |
|
inlinevirtual |
static void CVC4::expr::pickle::Pickler::debugPickleTest |
( |
Expr |
e | ) |
|
|
staticinherited |
Expr CVC4::expr::pickle::Pickler::fromPickle |
( |
Pickle & |
p | ) |
|
|
inherited |
Constructs a node from a Pickle.
This destroys the contents of the Pickle. The node is created in the NodeManager getNM(); TODO: Fix comment
Constructs a new Pickle of the node n.
n must be a node allocated in the node manager specified at initialization time. The new pickle has variables mapped using the VariableIDMap provided at initialization. TODO: Fix comment
- Returns
- the pickle, which should be dispose()'d when you're done with it
virtual uint64_t CVC4::expr::pickle::MapPickler::variableFromMap |
( |
uint64_t |
x | ) |
const |
|
protectedvirtual |
virtual uint64_t CVC4::expr::pickle::MapPickler::variableToMap |
( |
uint64_t |
x | ) |
const |
throw | ( | PicklingException |
| ) | | |
|
inlineprotectedvirtual |
The documentation for this class was generated from the following file: