rrr::NewBdd::Cache Member List

This is the complete list of members for rrr::NewBdd::Cache, including all inherited members.

Cache(int nCacheSizeLog, int nCacheMaxLog, int nVerbose)	rrr::NewBdd::Cache	inline
Clear()	rrr::NewBdd::Cache	inline
Insert(lit x, lit y, lit z)	rrr::NewBdd::Cache	inline
Lookup(lit x, lit y)	rrr::NewBdd::Cache	inline
Resize()	rrr::NewBdd::Cache	inline
~Cache()	rrr::NewBdd::Cache	inline