cvc4-1.4
CVC4::expr::pickle::Pickler Class Reference

#include <pickler.h>

Inheritance diagram for CVC4::expr::pickle::Pickler:
CVC4::expr::pickle::MapPickler

Public Member Functions

 Pickler (ExprManager *em)
 
 ~Pickler ()
 
void toPickle (Expr e, Pickle &p) throw (PicklingException)
 Constructs a new Pickle of the node n. More...
 
Expr fromPickle (Pickle &p)
 Constructs a node from a Pickle. More...
 

Static Public Member Functions

static void debugPickleTest (Expr e)
 

Protected Member Functions

virtual uint64_t variableToMap (uint64_t x) const throw (PicklingException)
 
virtual uint64_t variableFromMap (uint64_t x) const
 

Friends

class PicklerPrivate
 

Detailed Description

Definition at line 61 of file pickler.h.

Constructor & Destructor Documentation

CVC4::expr::pickle::Pickler::Pickler ( ExprManager em)
CVC4::expr::pickle::Pickler::~Pickler ( )

Member Function Documentation

static void CVC4::expr::pickle::Pickler::debugPickleTest ( Expr  e)
static
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

void CVC4::expr::pickle::Pickler::toPickle ( Expr  e,
Pickle p 
)
throw (PicklingException
)

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::Pickler::variableFromMap ( uint64_t  x) const
inlineprotectedvirtual

Reimplemented in CVC4::expr::pickle::MapPickler.

Definition at line 71 of file pickler.h.

virtual uint64_t CVC4::expr::pickle::Pickler::variableToMap ( uint64_t  x) const
throw (PicklingException
)
inlineprotectedvirtual

Reimplemented in CVC4::expr::pickle::MapPickler.

Definition at line 67 of file pickler.h.

Friends And Related Function Documentation

friend class PicklerPrivate
friend

Definition at line 64 of file pickler.h.


The documentation for this class was generated from the following file: