ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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.

131 {
132 if(this->man) {
133 this->DelVec(vFs);
134 this->DelVec(vGs);
135 this->DelVec(vvCs);
136 }
137 }
void DelVec(std::vector< lit > &v) const
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: