org.provarules.kernel2.cache

Interfaces

• ProvaCachedLiteral
• ProvaCacheState
• ProvaCacheTablet
• ProvaGroundKey
• ProvaLocalAnswers