CUDDFacade: Support for caching of Apply operations

ondrik-research-archived / libsfta

Symbolic Finite Tree Automata library

GNU General Public License v3.0

4 stars 1 forks source link

Open ondrik opened 14 years ago

ondrik commented 14 years ago

Add support for caching of Apply and Monadic Apply operations

ondrik commented 14 years ago

What about giving tickets to operation requests and when the tickets overflow, reset the whole cache.