tiny.pluck.toplevel.incremental

1const pluck = @import("../root.zig");23const evaluator = pluck.evaluator;4const lpsmc_module = pluck.lpsmc;5const IncrementalLPSMC = evaluator.IncrementalLPSMC;67const bdd = pluck.bdd;89const context_owner = @import("context.zig");10const ToplevelContext = context_owner.ToplevelContext;1112pub fn enableIncrementalLPSMC(self: *ToplevelContext) !void {13    if (self.incremental_lpsmc != null) {14        return error.AlreadyEnabled;15    }16    const lpsmc = try self.allocator.create(IncrementalLPSMC);17    lpsmc.* = lpsmc_module.init(self.allocator);18    self.incremental_lpsmc = lpsmc;19}2021pub fn disableIncrementalLPSMC(self: *ToplevelContext) void {22    if (self.incremental_lpsmc) |lpsmc| {23        lpsmc_module.deinit(lpsmc);24        self.allocator.destroy(lpsmc);25        self.incremental_lpsmc = null;26    }27}2829pub fn isIncrementalLPSMCEnabled(self: *const ToplevelContext) bool {30    return self.incremental_lpsmc != null;31}3233pub fn getIncrementalLPSMC(self: *ToplevelContext) ?*IncrementalLPSMC {34    return self.incremental_lpsmc;35}3637pub fn getLPSMCVarianceStats(self: *const ToplevelContext) ?evaluator.LPSMCVarianceStats {38    if (self.incremental_lpsmc) |lpsmc| {39        return lpsmc.variance_stats;40    }41    return null;42}4344pub fn getLpsmcRunStats(self: *const ToplevelContext) ?evaluator.LpsmcRunStats {45    if (self.incremental_lpsmc) |lpsmc| {46        return lpsmc.last_run_stats;47    }48    return null;49}5051pub fn refinementAffectsPathChoices(self: *const ToplevelContext, var_label: bdd.VarLabel) bool {52    if (self.incremental_lpsmc) |lpsmc| {53        return lpsmc_module.affectsPathChoices(lpsmc, var_label);54    }55    return false;56}5758pub fn invalidateForRefinement(self: *ToplevelContext, var_label: bdd.VarLabel) bool {59    if (self.incremental_lpsmc) |lpsmc| {60        return lpsmc_module.invalidateForRefinement(lpsmc, var_label);61    }62    return false;63}6465pub fn clearLPSMCCaches(self: *ToplevelContext) void {66    if (self.incremental_lpsmc) |lpsmc| {67        lpsmc_module.clearCaches(lpsmc);68    }69}

1pub const incremental = @import("incremental.zig");