cvc4-1.3
CVC4::expr::pickle::Pickle Class Reference

#include <pickler.h>

Public Member Functions

 Pickle ()
 
 Pickle (const Pickle &p)
 
 ~Pickle ()
 
Pickleoperator= (const Pickle &other)
 

Friends

class Pickler
 
class PicklerPrivate
 

Detailed Description

Definition at line 43 of file pickler.h.

Constructor & Destructor Documentation

CVC4::expr::pickle::Pickle::Pickle ( )
CVC4::expr::pickle::Pickle::Pickle ( const Pickle p)
CVC4::expr::pickle::Pickle::~Pickle ( )

Member Function Documentation

Pickle& CVC4::expr::pickle::Pickle::operator= ( const Pickle other)

Friends And Related Function Documentation

friend class Pickler
friend

Definition at line 45 of file pickler.h.

friend class PicklerPrivate
friend

Definition at line 46 of file pickler.h.


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