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

#include <giaTransduction.h>

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

Protected Member Functions
void	IncRef (lit x) const
void	DecRef (lit x) const
void	Update (lit &x, lit y) const
void	DelVec (std::vector< lit > &v) const
void	DelVec (std::vector< std::vector< lit > > &v) const
void	CopyVec (std::vector< lit > &v, std::vector< lit > const &u) const
void	CopyVec (std::vector< std::vector< lit > > &v, std::vector< std::vector< lit > > const &u) const
bool	LitVecIsEq (std::vector< lit > const &v, std::vector< lit > const &u) const
bool	LitVecIsEq (std::vector< std::vector< lit > > const &v, std::vector< std::vector< lit > > const &u) const
lit	Xor (lit x, lit y) const

Protected Attributes
Man *	man

Detailed Description

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

Definition at line 43 of file giaTransduction.h.

Member Function Documentation

CopyVec() [1/2]

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::CopyVec ( std::vector< lit > & v, std::vector< lit > const & u ) const

inlineprotected

Definition at line 69 of file giaTransduction.h.

                                                                        {
    DelVec(v);
    v = u;
    for(unsigned i = 0; i < v.size(); i++)
      IncRef(v[i]);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

CopyVec() [2/2]

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::CopyVec ( std::vector< std::vector< lit > > & v, std::vector< std::vector< lit > > const & u ) const

inlineprotected

Definition at line 75 of file giaTransduction.h.

                                                                                                {
    for(unsigned i = u.size(); i < v.size(); i++)
      DelVec(v[i]);
    v.resize(u.size());
    for(unsigned i = 0; i < v.size(); i++)
      CopyVec(v[i], u[i]);
  }

Here is the call graph for this function:

DecRef()

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::DecRef ( lit x ) const

inlineprotected

Definition at line 50 of file giaTransduction.h.

                                  {
    if(x != LitMax)
      man->DecRef(x);
  }

Here is the caller graph for this function:

DelVec() [1/2]

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::DelVec ( std::vector< lit > & v ) const

inlineprotected

Definition at line 59 of file giaTransduction.h.

                                              {
    for(unsigned i = 0; i < v.size(); i++)
      DecRef(v[i]);
    v.clear();
  }

Here is the call graph for this function:

Here is the caller graph for this function:

DelVec() [2/2]

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::DelVec ( std::vector< std::vector< lit > > & v ) const

inlineprotected

Definition at line 64 of file giaTransduction.h.

                                                          {
    for(unsigned i = 0; i < v.size(); i++)
      DelVec(v[i]);
    v.clear();
  }

Here is the call graph for this function:

IncRef()

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::IncRef ( lit x ) const

inlineprotected

Definition at line 46 of file giaTransduction.h.

                                  {
    if(x != LitMax)
      man->IncRef(x);
  }

Here is the caller graph for this function:

LitVecIsEq() [1/2]

template<class Man, class lit, lit LitMax>

bool Transduction::ManUtil< Man, lit, LitMax >::LitVecIsEq ( std::vector< lit > const & v, std::vector< lit > const & u ) const

inlineprotected

Definition at line 82 of file giaTransduction.h.

                                                                                 {
    if(v.size() != u.size())
      return false;
    for(unsigned i = 0; i < v.size(); i++)
      if(!man->LitIsEq(v[i], u[i]))
        return false;
    return true;
  }

Here is the caller graph for this function:

LitVecIsEq() [2/2]

template<class Man, class lit, lit LitMax>

bool Transduction::ManUtil< Man, lit, LitMax >::LitVecIsEq ( std::vector< std::vector< lit > > const & v, std::vector< std::vector< lit > > const & u ) const

inlineprotected

Definition at line 90 of file giaTransduction.h.

                                                                                                         {
    if(v.size() != u.size())
      return false;
    for(unsigned i = 0; i < v.size(); i++)
      if(!LitVecIsEq(v[i], u[i]))
        return false;
    return true;
  }

Here is the call graph for this function:

Update()

template<class Man, class lit, lit LitMax>

void Transduction::ManUtil< Man, lit, LitMax >::Update ( lit & x, lit y ) const

inlineprotected

Definition at line 54 of file giaTransduction.h.

                                          {
    DecRef(x);
    x = y;
    IncRef(x);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

Xor()

template<class Man, class lit, lit LitMax>

lit Transduction::ManUtil< Man, lit, LitMax >::Xor ( lit x, lit y ) const

inlineprotected

Definition at line 98 of file giaTransduction.h.

                                     {
    lit f = man->And(x, man->LitNot(y));
    man->IncRef(f);
    lit g = man->And(man->LitNot(x), y);
    man->IncRef(g);
    lit r = man->Or(f, g);
    man->DecRef(f);
    man->DecRef(g);
    return r;
  }

Here is the caller graph for this function:

Member Data Documentation

man

template<class Man, class lit, lit LitMax>

Man* Transduction::ManUtil< Man, lit, LitMax >::man

protected

Definition at line 45 of file giaTransduction.h.

---

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

• src/aig/gia/giaTransduction.h