|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
This is the complete list of members for NewBdd::Cache, including all inherited members.
| Cache(int nCacheSizeLog, int nCacheMaxLog, int nVerbose) | NewBdd::Cache | inline |
| Clear() | NewBdd::Cache | inline |
| Insert(lit x, lit y, lit z) | NewBdd::Cache | inline |
| Lookup(lit x, lit y) | NewBdd::Cache | inline |
| Resize() | NewBdd::Cache | inline |
| ~Cache() | NewBdd::Cache | inline |