#include <pickler.h>
Definition at line 61 of file pickler.h.
◆ Pickler()
CVC4::expr::pickle::Pickler::Pickler |
( |
ExprManager * |
em | ) |
|
◆ ~Pickler()
CVC4::expr::pickle::Pickler::~Pickler |
( |
| ) |
|
◆ debugPickleTest()
static void CVC4::expr::pickle::Pickler::debugPickleTest |
( |
Expr |
e | ) |
|
|
static |
◆ fromPickle()
Expr CVC4::expr::pickle::Pickler::fromPickle |
( |
Pickle & |
p | ) |
|
Constructs a node from a Pickle.
This destroys the contents of the Pickle. The node is created in the NodeManager getNM(); TODO: Fix comment
◆ toPickle()
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
◆ variableFromMap()
virtual uint64_t CVC4::expr::pickle::Pickler::variableFromMap |
( |
uint64_t |
x | ) |
const |
|
inlineprotectedvirtual |
◆ variableToMap()
virtual uint64_t CVC4::expr::pickle::Pickler::variableToMap |
( |
uint64_t |
x | ) |
const |
throw | ( | PicklingException |
| ) | | |
|
inlineprotectedvirtual |
◆ PicklerPrivate
friend class PicklerPrivate |
|
friend |
The documentation for this class was generated from the following file: