| BDDBuild() | Ttopt::TruthTableLevelTSM | inlinevirtual |
| BDDBuildLevel(int lev) | Ttopt::TruthTable | inlinevirtual |
| BDDBuildOne(int index, int lev) | Ttopt::TruthTableLevelTSM | inlinevirtual |
| BDDBuildStartup() | Ttopt::TruthTableCare | inlinevirtual |
| BDDFind(int index, int lev) | Ttopt::TruthTable | inline |
| BDDFindTSM(int index, int lev) | Ttopt::TruthTableLevelTSM | inline |
| BDDGenerateAig(Gia_Man_t *pNew, Vec_Int_t *vSupp) | Ttopt::TruthTable | inlinevirtual |
| BDDGenerateAigRec(Gia_Man_t *pNew, std::vector< int > const &vInputs, std::vector< std::vector< int > > &vvNodes, int index, int lev) | Ttopt::TruthTable | inline |
| BDDNodeCount() | Ttopt::TruthTable | inline |
| BDDNodeCountLevel(int lev) | Ttopt::TruthTable | inline |
| BDDRebuild(int lev) | Ttopt::TruthTableLevelTSM | inlinevirtual |
| BDDRebuildByMerge(int lev) | Ttopt::TruthTableLevelTSM | inlinevirtual |
| BDDSwap(int lev) | Ttopt::TruthTableCare | inlinevirtual |
| bsw typedef | Ttopt::TruthTable | |
| care | Ttopt::TruthTableCare | |
| caret | Ttopt::TruthTableCare | |
| CompleteMerge() | Ttopt::TruthTableCare | inline |
| CopyFunc(int index1, int index2, int lev, bool fCompl) | Ttopt::TruthTableRewrite | inline |
| CopyFuncMasked(int index1, int index2, int lev, bool fCompl) | Ttopt::TruthTableCare | inline |
| GetCare(int index_lev, int lev) | Ttopt::TruthTableCare | inline |
| GetValue(int index_lev, int lev) | Ttopt::TruthTable | inline |
| Imply(int index1, int index2, int lev) | Ttopt::TruthTable | inline |
| Include(int index1, int index2, int lev, bool fCompl) | Ttopt::TruthTableCare | inline |
| Intersect(int index1, int index2, int lev, bool fCompl, bool fEq=true) | Ttopt::TruthTableCare | inline |
| IsDC(int index, int lev) | Ttopt::TruthTableCare | inline |
| IsEq(int index1, int index2, int lev, bool fCompl=false) | Ttopt::TruthTable | inline |
| Load(unsigned i) | Ttopt::TruthTableCare | inlinevirtual |
| LoadIndices(unsigned i) | Ttopt::TruthTableCare | inlinevirtual |
| lww | Ttopt::TruthTable | static |
| Merge(int index1, int index2, int lev, bool fCompl) | Ttopt::TruthTableCare | inline |
| MergeCare(int index1, int index2, int lev) | Ttopt::TruthTableCare | inline |
| nInputs | Ttopt::TruthTable | |
| nOutputs | Ttopt::TruthTable | |
| nSize | Ttopt::TruthTable | |
| nTotalSize | Ttopt::TruthTable | |
| ones | Ttopt::TruthTable | static |
| OptimizationStartup() | Ttopt::TruthTableCare | inline |
| Optimize() | Ttopt::TruthTableCare | inlinevirtual |
| originalt | Ttopt::TruthTableCare | |
| RandomSiftReo(int nRound) | Ttopt::TruthTable | inline |
| Reo(std::vector< int > vLevelsNew) | Ttopt::TruthTable | inline |
| RestoreCare() | Ttopt::TruthTableCare | inline |
| Save(unsigned i) | Ttopt::TruthTableCare | inlinevirtual |
| savedcare | Ttopt::TruthTableCare | |
| savedt | Ttopt::TruthTable | |
| SaveIndices(unsigned i) | Ttopt::TruthTableCare | inlinevirtual |
| SetValue(int index_lev, int lev, word value) | Ttopt::TruthTableRewrite | inline |
| ShiftToMajority(int index, int lev) | Ttopt::TruthTableRewrite | inline |
| SiftReo() | Ttopt::TruthTable | inline |
| Swap(int lev) | Ttopt::TruthTableCare | inlinevirtual |
| SwapIndex(int &index, int d) | Ttopt::TruthTable | inline |
| swapmask | Ttopt::TruthTable | static |
| t | Ttopt::TruthTable | |
| TruthTable(int nInputs, int nOutputs) | Ttopt::TruthTable | inline |
| TruthTableCare(int nInputs, int nOutputs) | Ttopt::TruthTableCare | inline |
| TruthTableLevelTSM(int nInputs, int nOutputs) | Ttopt::TruthTableLevelTSM | inline |
| TruthTableRewrite(int nInputs, int nOutputs) | Ttopt::TruthTableRewrite | inline |
| vLevels | Ttopt::TruthTable | |
| vLevelsSaved | Ttopt::TruthTable | |
| vvIndices | Ttopt::TruthTable | |
| vvIndicesSaved | Ttopt::TruthTable | |
| vvMergedIndices | Ttopt::TruthTableCare | |
| vvMergedIndicesSaved | Ttopt::TruthTableCare | |
| vvRedundantIndices | Ttopt::TruthTable | |
| vvRedundantIndicesSaved | Ttopt::TruthTable | |
| ww | Ttopt::TruthTable | static |
