Struct CompilationCache 

pub struct CompilationCache { /* private fields */ }

Compilation cache for storing and retrieving compiled expressions.

The cache is thread-safe and can be shared across multiple compilation operations. It automatically evicts least-recently-used entries when the cache reaches its maximum size.

Example

use tensorlogic_compiler::{CompilationCache, compile_to_einsum_with_context, CompilerContext};
use tensorlogic_ir::{TLExpr, Term};

let cache = CompilationCache::new(100); // Cache up to 100 entries
let mut ctx = CompilerContext::new();
ctx.add_domain("Person", 100);

let expr = TLExpr::pred("knows", vec![Term::var("x"), Term::var("y")]);

// First compilation: miss (not in cache)
let graph1 = cache.get_or_compile(&expr, &mut ctx, |expr, ctx| {
    compile_to_einsum_with_context(expr, ctx)
}).unwrap();

// Second compilation: hit (cached)
let graph2 = cache.get_or_compile(&expr, &mut ctx, |expr, ctx| {
    compile_to_einsum_with_context(expr, ctx)
}).unwrap();

assert_eq!(graph1, graph2);
assert_eq!(cache.stats().hits, 1);

Implementations

impl CompilationCache

pub fn new(max_size: usize) -> Self

Create a new compilation cache with the specified maximum size.

Arguments

• max_size - Maximum number of entries to cache (default: 1000)

Example

use tensorlogic_compiler::CompilationCache;

let cache = CompilationCache::new(100);
assert_eq!(cache.max_size(), 100);

pub fn default_size() -> Self

Create a new cache with default settings (1000 entries).

pub fn max_size(&self) -> usize

Get the maximum cache size.

pub fn get_or_compile<F>( &self, expr: &TLExpr, ctx: &mut CompilerContext, compile_fn: F, ) -> Result<EinsumGraph>

where F: FnOnce(&TLExpr, &mut CompilerContext) -> Result<EinsumGraph>,

Get or compile an expression.

If the expression is in the cache, returns the cached result. Otherwise, compiles the expression using the provided function and caches the result.

Arguments

• expr - The expression to compile
• ctx - The compiler context
• compile_fn - Function to compile the expression if not cached

Example

use tensorlogic_compiler::{CompilationCache, compile_to_einsum_with_context, CompilerContext};
use tensorlogic_ir::{TLExpr, Term};

let cache = CompilationCache::new(100);
let mut ctx = CompilerContext::new();
ctx.add_domain("Person", 100);

let expr = TLExpr::pred("knows", vec![Term::var("x"), Term::var("y")]);

let graph = cache.get_or_compile(&expr, &mut ctx, |expr, ctx| {
    compile_to_einsum_with_context(expr, ctx)
}).unwrap();

pub fn stats(&self) -> CacheStats

Get current cache statistics.

Example

use tensorlogic_compiler::CompilationCache;

let cache = CompilationCache::new(100);
let stats = cache.stats();
assert_eq!(stats.hits, 0);
assert_eq!(stats.misses, 0);

pub fn clear(&self)

Clear the cache.

Example

use tensorlogic_compiler::CompilationCache;

let cache = CompilationCache::new(100);
cache.clear();
assert_eq!(cache.stats().current_size, 0);

pub fn len(&self) -> usize

Get the current number of entries in the cache.

pub fn is_empty(&self) -> bool

Check if the cache is empty.

Trait Implementations

impl Default for CompilationCache

fn default() -> Self

Returns the “default value” for a type.