Uses of Package
org.ddolib.ddo.core.cache

Packages that use org.ddolib.ddo.core.cache

Package	Description
org.ddolib.ddo.core.cache	This package contains the implementations of cache mechanism.
org.ddolib.ddo.core.compilation	This package contains defining the compilation type and the compilation input

Classes in org.ddolib.ddo.core.cache used by org.ddolib.ddo.core.cache

Class	Description
Cache	Defines the abstraction of a cache mechanism used to prune and reduce the search space during the compilation or exploration of a Decision Diagram (DD).
SimpleCache.Layer	Inner class representing a synchronized cache layer for a specific depth.
Threshold	Represents a threshold value associated with a state in a dynamic programming or search model.

Classes in org.ddolib.ddo.core.cache used by org.ddolib.ddo.core.compilation

Class	Description
SimpleCache	A simple implementation of a Cache for storing threshold values associated with states in a dynamic programming model.