Ttopt::TruthTableLevelTSM Class Reference

Inheritance diagram for Ttopt::TruthTableLevelTSM:

Collaboration diagram for Ttopt::TruthTableLevelTSM:

Public Member Functions
	TruthTableLevelTSM (int nInputs, int nOutputs)
int	BDDFindTSM (int index, int lev)
int	BDDBuildOne (int index, int lev)
int	BDDBuild ()
void	BDDRebuildByMerge (int lev)
int	BDDRebuild (int lev)
Public Member Functions inherited from Ttopt::TruthTableCare
	TruthTableCare (int nInputs, int nOutputs)
void	Save (unsigned i)
void	Load (unsigned i)
void	SaveIndices (unsigned i)
void	LoadIndices (unsigned i)
void	Swap (int lev)
void	RestoreCare ()
word	GetCare (int index_lev, int lev)
void	CopyFuncMasked (int index1, int index2, int lev, bool fCompl)
bool	IsDC (int index, int lev)
int	Include (int index1, int index2, int lev, bool fCompl)
int	Intersect (int index1, int index2, int lev, bool fCompl, bool fEq=true)
void	MergeCare (int index1, int index2, int lev)
void	Merge (int index1, int index2, int lev, bool fCompl)
void	CompleteMerge ()
void	BDDBuildStartup ()
int	BDDSwap (int lev)
void	OptimizationStartup ()
virtual void	Optimize ()
Public Member Functions inherited from Ttopt::TruthTableRewrite
	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)
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 void	BDDBuildLevel (int lev)
void	SwapIndex (int &index, int d)
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::TruthTableCare
std::vector< word >	originalt
std::vector< word >	caret
std::vector< word >	care
std::vector< std::vector< std::pair< int, int > > >	vvMergedIndices
std::vector< std::vector< word > >	savedcare
std::vector< std::vector< std::vector< std::pair< int, int > > > >	vvMergedIndicesSaved
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 1009 of file giaTtopt.cpp.

Constructor & Destructor Documentation

TruthTableLevelTSM()

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

inline

Definition at line 1011 of file giaTtopt.cpp.

: TruthTableCare(nInputs, nOutputs) {}

Here is the call graph for this function:

Member Function Documentation

BDDBuild()

int Ttopt::TruthTableLevelTSM::BDDBuild ( )

inlinevirtual

Reimplemented from Ttopt::TruthTable.

Definition at line 1082 of file giaTtopt.cpp.

                 {
    TruthTable::Save(3);
    int r = TruthTable::BDDBuild();
    TruthTable::Load(3);
    return r;
  }

Here is the call graph for this function:

BDDBuildOne()

int Ttopt::TruthTableLevelTSM::BDDBuildOne ( int index, int lev )

inlinevirtual

Reimplemented from Ttopt::TruthTableCare.

Definition at line 1067 of file giaTtopt.cpp.

                                      {
    int r = BDDFindTSM(index, lev);
    if(r >= -2) {
      if(r >= 0) {
        CopyFuncMasked(r >> 1, index, lev, r & 1);
        Merge(r >> 1, index, lev, r & 1);
      } else {
        vvMergedIndices[lev].push_back(std::make_pair(r, index));
      }
      return r;
    }
    vvIndices[lev].push_back(index);
    return index << 1;
  }

Here is the call graph for this function:

BDDFindTSM()

int Ttopt::TruthTableLevelTSM::BDDFindTSM ( int index, int lev )

inline

Definition at line 1013 of file giaTtopt.cpp.

                                     {
    int logwidth = nInputs - lev;
    if(logwidth > lww) {
      int nScopeSize = 1 << (logwidth - lww);
      bool fZero = true;
      bool fOne = true;
      for(int i = 0; i < nScopeSize && (fZero || fOne); i++) {
        word value = t[nScopeSize * index + i];
        word cvalue = caret[nScopeSize * index + i];
        fZero &= !(value & cvalue);
        fOne &= !(~value & cvalue);
      }
      if(fZero || fOne) {
        return -2 ^ (int)fOne;
      }
      for(unsigned j = 0; j < vvIndices[lev].size(); j++) {
        int index2 = vvIndices[lev][j];
        bool fEq = true;
        bool fCompl = true;
        for(int i = 0; i < nScopeSize && (fEq || fCompl); i++) {
          word value = t[nScopeSize * index + i] ^ t[nScopeSize * index2 + i];
          word cvalue = caret[nScopeSize * index + i] & caret[nScopeSize * index2 + i];
          fEq &= !(value & cvalue);
          fCompl &= !(~value & cvalue);
        }
        if(fEq || fCompl) {
          return (index2 << 1) ^ (int)!fEq;
        }
      }
    } else {
      word one = ones[logwidth];
      word value = GetValue(index, lev);
      word cvalue = GetCare(index, lev);
      if(!(value & cvalue)) {
        return -2;
      }
      if(!((value ^ one) & cvalue)) {
        return -1;
      }
      for(unsigned j = 0; j < vvIndices[lev].size(); j++) {
        int index2 = vvIndices[lev][j];
        word value2 = value ^ GetValue(index2, lev);
        word cvalue2 = cvalue & GetCare(index2, lev);
        if(!(value2 & cvalue2)) {
          return index2 << 1;
        }
        if(!((value2 ^ one) & cvalue2)) {
          return (index2 << 1) ^ 1;
        }
      }
    }
    return -3;
  }

Here is the call graph for this function:

Here is the caller graph for this function:

BDDRebuild()

int Ttopt::TruthTableLevelTSM::BDDRebuild ( int lev )

inlinevirtual

Reimplemented from Ttopt::TruthTableCare.

Definition at line 1099 of file giaTtopt.cpp.

                          {
    TruthTable::Save(3);
    int r = TruthTableCare::BDDRebuild(lev);
    TruthTable::Load(3);
    return r;
  }

Here is the call graph for this function:

BDDRebuildByMerge()

void Ttopt::TruthTableLevelTSM::BDDRebuildByMerge ( int lev )

inlinevirtual

Reimplemented from Ttopt::TruthTableCare.

Definition at line 1089 of file giaTtopt.cpp.

                                  {
    for(unsigned i = 0; i < vvMergedIndices[lev].size(); i++) {
      std::pair<int, int> &p = vvMergedIndices[lev][i];
      if(p.first >= 0) {
        CopyFuncMasked(p.first >> 1, p.second, lev, p.first & 1);
        MergeCare(p.first >> 1, p.second, lev);
      }
    }
  }

Here is the call graph for this function:

---

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

• src/aig/gia/giaTtopt.cpp