Package org.sosy_lab.solver.basicimpl.cache

Caching layer for solver queries.

See: Description

Class Summary

Class	Description
CachingOptimizationProverEnvironment	Caching wrapper for an optimizing SMT solver.
OptimizationCacheStatistics	Statistics for optimization cache.
OptimizationObjective
OptimizationQuery	Serialization of the current query held by the solver.
OptimizationResult	Result of the optimization query.

Package org.sosy_lab.solver.basicimpl.cache Description

Caching layer for solver queries. Usage is optional.

Cache is associated to a single SolverContext instance.