Package org.ddolib.ddo.core.cache


package org.ddolib.ddo.core.cache
This package contains the implementations of cache mechanism.
  • Class
    Description
    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).
    A simple implementation of a Cache for storing threshold values associated with states in a dynamic programming model.
    Inner class representing a synchronized cache layer for a specific depth.
    Represents a threshold value associated with a state in a dynamic programming or search model.