Transduction::TransductionBackup< Man, lit, LitMax > Class Template Reference

#include <giaTransduction.h>

Inheritance diagram for Transduction::TransductionBackup< Man, lit, LitMax >:

Collaboration diagram for Transduction::TransductionBackup< Man, lit, LitMax >:

Public Member Functions
	~TransductionBackup ()

Friends
template<class Man_, class Param, class lit_, lit_ LitMax_>
class	Transduction

Detailed Description

template<class Man, class lit, lit LitMax>
class Transduction::TransductionBackup< Man, lit, LitMax >

Definition at line 111 of file giaTransduction.h.

Constructor & Destructor Documentation

~TransductionBackup()

template<class Man, class lit, lit LitMax>

Transduction::TransductionBackup< Man, lit, LitMax >::~TransductionBackup ( )

inline

Definition at line 131 of file giaTransduction.h.

                        {
    if(this->man) {
      this->DelVec(vFs);
      this->DelVec(vGs);
      this->DelVec(vvCs);
    }
  }

Here is the call graph for this function:

Friends And Related Symbol Documentation

Transduction

template<class Man, class lit, lit LitMax>

template<class Man_, class Param, class lit_, lit_ LitMax_>

friend class Transduction

friend

Definition at line 128 of file giaTransduction.h.

---

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

• src/aig/gia/giaTransduction.h