Enum CachePolicy 

pub enum CachePolicy {
    Inline,
    Batch,
}

When assert_triple refreshes the prompt cache after a hot write.

Why: a rebuild walks every registered palace, so a caller asserting N triples in one pass would pay N full walks for one net change. Batch lets such a caller defer to a single trailing refresh WITHOUT deciding for itself what counts as hot — that decision stays in assert_triple either way, which is the property this module exists to protect. What: Inline refreshes before returning; Batch skips the refresh and reports hotness in the receipt for refresh_after_batch. Test: kg_write_batch_policy_defers_refresh.

Variants

Inline

Refresh inline when the predicate is hot. Every single-write caller.

Batch

Defer the refresh; the caller must pass the accumulated hotness to refresh_after_batch when its loop ends.

Trait Implementations

impl Clone for CachePolicy

fn clone(&self) -> CachePolicy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CachePolicy

impl Debug for CachePolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for CachePolicy

impl PartialEq for CachePolicy

fn eq(&self, other: &CachePolicy) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CachePolicy