core/it.unibo.tuprolog.argumentation.core.runtime.cache/Cache

Cache

class Cache : ArgLibrary

Facts shared across context branches (cache_assert/1, cache_retract/1, cache_check/1), kept in the same indexed store as the context

Constructors

constructor()

Properties

open override val alias: String

open override val baseContent: Library

open override val baseFlags: Iterable<ArgsFlag<*, *>>

theoryOperators

open val theoryOperators: OperatorSet

Functions

open fun content(): Library

open fun flags(): Iterable<ArgsFlag<*, *>>