Ttopt::TruthTableRewrite Class Reference

Inheritance diagram for Ttopt::TruthTableRewrite:

Collaboration diagram for Ttopt::TruthTableRewrite:

Public Member Functions
	TruthTableRewrite (int nInputs, int nOutputs)
void	SetValue (int index_lev, int lev, word value)
void	CopyFunc (int index1, int index2, int lev, bool fCompl)
void	ShiftToMajority (int index, int lev)
Public Member Functions inherited from Ttopt::TruthTable
	TruthTable (int nInputs, int nOutputs)
virtual void	Save (unsigned i)
virtual void	Load (unsigned i)
virtual void	SaveIndices (unsigned i)
virtual void	LoadIndices (unsigned i)
word	GetValue (int index_lev, int lev)
int	IsEq (int index1, int index2, int lev, bool fCompl=false)
bool	Imply (int index1, int index2, int lev)
int	BDDNodeCountLevel (int lev)
int	BDDNodeCount ()
int	BDDFind (int index, int lev)
virtual int	BDDBuildOne (int index, int lev)
virtual void	BDDBuildStartup ()
virtual void	BDDBuildLevel (int lev)
virtual int	BDDBuild ()
virtual int	BDDRebuild (int lev)
virtual void	Swap (int lev)
void	SwapIndex (int &index, int d)
virtual int	BDDSwap (int lev)
int	SiftReo ()
void	Reo (std::vector< int > vLevelsNew)
int	RandomSiftReo (int nRound)
int	BDDGenerateAigRec (Gia_Man_t *pNew, std::vector< int > const &vInputs, std::vector< std::vector< int > > &vvNodes, int index, int lev)
virtual void	BDDGenerateAig (Gia_Man_t *pNew, Vec_Int_t *vSupp)

Additional Inherited Members
Public Types inherited from Ttopt::TruthTable
typedef std::bitset< 64 >	bsw
Public Attributes inherited from Ttopt::TruthTable
int	nInputs
int	nSize
int	nTotalSize
int	nOutputs
std::vector< word >	t
std::vector< std::vector< int > >	vvIndices
std::vector< std::vector< int > >	vvRedundantIndices
std::vector< int >	vLevels
std::vector< std::vector< word > >	savedt
std::vector< std::vector< std::vector< int > > >	vvIndicesSaved
std::vector< std::vector< std::vector< int > > >	vvRedundantIndicesSaved
std::vector< std::vector< int > >	vLevelsSaved
Static Public Attributes inherited from Ttopt::TruthTable
static const int	ww = 64
static const int	lww = 6
static const word	ones []
static const word	swapmask []

Detailed Description

Definition at line 628 of file giaTtopt.cpp.

Constructor & Destructor Documentation

TruthTableRewrite()

Ttopt::TruthTableRewrite::TruthTableRewrite ( int nInputs, int nOutputs )

inline

Definition at line 630 of file giaTtopt.cpp.

: TruthTable(nInputs, nOutputs) {}

Here is the call graph for this function:

Here is the caller graph for this function:

Member Function Documentation

CopyFunc()

void Ttopt::TruthTableRewrite::CopyFunc ( int index1, int index2, int lev, bool fCompl )

inline

Definition at line 642 of file giaTtopt.cpp.

                                                              {
    assert(index1 >= 0);
    int logwidth = nInputs - lev;
    if(logwidth > lww) {
      int nScopeSize = 1 << (logwidth - lww);
      if(!fCompl) {
        if(index2 < 0) {
          for(int i = 0; i < nScopeSize; i++) {
            t[nScopeSize * index1 + i] = 0;
          }
        } else {
          for(int i = 0; i < nScopeSize; i++) {
            t[nScopeSize * index1 + i] = t[nScopeSize * index2 + i];
          }
        }
      } else {
        if(index2 < 0) {
          for(int i = 0; i < nScopeSize; i++) {
            t[nScopeSize * index1 + i] = ones[lww];
          }
        } else {
          for(int i = 0; i < nScopeSize; i++) {
            t[nScopeSize * index1 + i] = ~t[nScopeSize * index2 + i];
          }
        }
      }
    } else {
      word value = 0;
      if(index2 >= 0) {
        value = GetValue(index2, lev);
      }
      if(fCompl) {
        value ^= ones[logwidth];
      }
      SetValue(index1, lev, value);
    }
  }

Here is the call graph for this function:

Here is the caller graph for this function:

SetValue()

void Ttopt::TruthTableRewrite::SetValue ( int index_lev, int lev, word value )

inline

Definition at line 632 of file giaTtopt.cpp.

                                                    {
    assert(index_lev >= 0);
    assert(nInputs - lev <= lww);
    int logwidth = nInputs - lev;
    int index = index_lev >> (lww - logwidth);
    int pos = (index_lev % (1 << (lww - logwidth))) << logwidth;
    t[index] &= ~(ones[logwidth] << pos);
    t[index] ^= value << pos;
  }

Here is the caller graph for this function:

ShiftToMajority()

void Ttopt::TruthTableRewrite::ShiftToMajority ( int index, int lev )

inline

Definition at line 680 of file giaTtopt.cpp.

                                           {
    assert(index >= 0);
    int logwidth = nInputs - lev;
    int count = 0;
    if(logwidth > lww) {
      int nScopeSize = 1 << (logwidth - lww);
      for(int i = 0; i < nScopeSize; i++) {
        count += bsw(t[nScopeSize * index + i]).count();
      }
    } else {
      count = bsw(GetValue(index, lev)).count();
    }
    bool majority = count > (1 << (logwidth - 1));
    CopyFunc(index, -1, lev, majority);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• src/aig/gia/giaTtopt.cpp