`tiny.pluck.bdd.WmcParams`

Defined in bdd.

API (11)

Public operations.

Public fields and members.

Static calls · unresolved targets: unknown · external targets: unknown.

Source

1pub const WmcParams = struct {2    allocator: Allocator,34    num_partials: usize,56    weights: std.ArrayListUnmanaged(VarWeight),78    dual_weights: std.ArrayListUnmanaged(VarWeightDual),910    is_dual: bool,1112    pub fn init(allocator: Allocator) WmcParams {13        return WmcParams{14            .allocator = allocator,15            .num_partials = 0,16            .weights = std.ArrayListUnmanaged(VarWeight).empty,17            .dual_weights = std.ArrayListUnmanaged(VarWeightDual).empty,18            .is_dual = false,19        };20    }2122    pub fn initDual(allocator: Allocator, num_partials: usize) WmcParams {23        return WmcParams{24            .allocator = allocator,25            .num_partials = num_partials,26            .weights = std.ArrayListUnmanaged(VarWeight).empty,27            .dual_weights = std.ArrayListUnmanaged(VarWeightDual).empty,28            .is_dual = true,29        };30    }3132    pub fn deinit(self: *WmcParams) void {33        self.weights.deinit(self.allocator);34        for (self.dual_weights.items) |*dw| {35            self.allocator.free(dw.low_partials);36            self.allocator.free(dw.high_partials);37        }38        self.dual_weights.deinit(self.allocator);39    }4041    fn ensureCapacity(self: *WmcParams, variable: VarLabel) !void {42        const needed = variable + 1;43        while (self.weights.items.len < needed) {44            try self.weights.append(self.allocator, VarWeight{ .low = 1.0, .high = 1.0 });45        }46    }4748    fn ensureCapacityDual(self: *WmcParams, variable: VarLabel) !void {49        const needed = variable + 1;50        while (self.dual_weights.items.len < needed) {51            const low_partials = try self.allocator.alloc(f64, self.num_partials);52            @memset(low_partials, 0.0);53            const high_partials = try self.allocator.alloc(f64, self.num_partials);54            @memset(high_partials, 0.0);55            try self.dual_weights.append(self.allocator, VarWeightDual{56                .low = 1.0,57                .low_partials = low_partials,58                .high = 1.0,59                .high_partials = high_partials,60            });61        }62    }6364    pub fn setWeight(self: *WmcParams, variable: VarLabel, low: f64, high: f64) !void {65        try self.ensureCapacity(variable);66        self.weights.items[variable] = VarWeight{ .low = low, .high = high };6768        if (self.is_dual) {69            try self.ensureCapacityDual(variable);70            self.dual_weights.items[variable].low = low;71            self.dual_weights.items[variable].high = high;72            @memset(self.dual_weights.items[variable].low_partials, 0.0);73            @memset(self.dual_weights.items[variable].high_partials, 0.0);74        }75    }7677    pub fn setWeightDeriv(78        self: *WmcParams,79        variable: VarLabel,80        low: f64,81        low_partials: []const f64,82        high: f64,83        high_partials: []const f64,84    ) !void {85        std.debug.assert(self.is_dual);86        std.debug.assert(low_partials.len == self.num_partials);87        std.debug.assert(high_partials.len == self.num_partials);8889        try self.ensureCapacity(variable);90        self.weights.items[variable] = VarWeight{ .low = low, .high = high };9192        try self.ensureCapacityDual(variable);93        self.dual_weights.items[variable].low = low;94        self.dual_weights.items[variable].high = high;95        @memcpy(self.dual_weights.items[variable].low_partials, low_partials);96        @memcpy(self.dual_weights.items[variable].high_partials, high_partials);97    }9899    pub fn getWeight(self: *const WmcParams, variable: VarLabel) VarWeight {100        if (variable >= self.weights.items.len) {101            return VarWeight{ .low = 1.0, .high = 1.0 };102        }103        return self.weights.items[variable];104    }105106    fn getDualWeight(self: *const WmcParams, variable: VarLabel) ?VarWeightDual {107        if (!self.is_dual or variable >= self.dual_weights.items.len) {108            return null;109        }110        return self.dual_weights.items[variable];111    }112};

Static calls · unresolved targets: 1 · external targets: 1.

Static calls · unresolved targets: 0 · external targets: 0.

Complete caller list for `bdd.WmcParams.deinit`

54 direct callers.

Complete caller list for `bdd.WmcParams.init`

55 direct callers.

Complete caller list for `bdd.WmcParams.initDual`

9 direct callers.

Complete caller list for `bdd.WmcParams.setWeight`

51 direct callers.

Audit

Definitions	7
Public names	7
Members	5
Version	`26.7.0`
Revision	`daab053ee433`

tiny.pluck.bdd.WmcParams

API (11)

Actions

Fields and members

Source

Complete caller list for bdd.WmcParams.deinit

Complete caller list for bdd.WmcParams.init

Complete caller list for bdd.WmcParams.initDual