tiny.pluck.bdd.wmc

Defined in bdd.

Source

Source: lib/pluck/src/bdd.zig:2301

1pub fn wmc(manager: *const Manager, bdd: Bdd, params: *const WmcParams) f64 {2    return wmcWithAllocator(manager, bdd, params, manager.allocator);3}

Complete caller list

20 direct callers.

• lib.pluck.src.bdd.test_CNF_benchmark_-_3-SAT_clause [function] — test source at lib/pluck/src/bdd.zig:4121 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_WmcContext_-_basic_caching_correctness [function] — test source at lib/pluck/src/bdd.zig:4325 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_WmcContext_-_correctness_on_complex_BDD [function] — test source at lib/pluck/src/bdd.zig:4455 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_WmcContext_-_invalidateForVars_correctness [function] — test source at lib/pluck/src/bdd.zig:4541 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_WmcContext_-_invalidateForVars_removes_recursive_dependent_entries [function] — test source at lib/pluck/src/bdd.zig:4613 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_complement_edge_WMC_-_double_negation [function] — test source at lib/pluck/src/bdd.zig:4171 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_complement_edge_WMC_correctness_-_complex_formula [function] — test source at lib/pluck/src/bdd.zig:4147 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_finite_difference_derivative_validation_-_XOR_formula [function] — test source at lib/pluck/src/bdd.zig:3976 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_finite_difference_derivative_validation_-_single_variable [function] — test source at lib/pluck/src/bdd.zig:3888 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_finite_difference_derivative_validation_-_two_variable_AND [function] — test source at lib/pluck/src/bdd.zig:3925 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_fixture_-_alarm_model_WMC [function] — test source at lib/pluck/src/bdd.zig:4271 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_fixture_-_conditional_model_WMC [function] — test source at lib/pluck/src/bdd.zig:4307 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_top_k_paths_covers_exact_WMC [function] — test source at lib/pluck/src/bdd.zig:4094 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_wmc_scalar_-_constant_BDDs [function] — test source at lib/pluck/src/bdd.zig:2783 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_wmc_scalar_-_larger_formula [function] — test source at lib/pluck/src/bdd.zig:3031 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_wmc_scalar_-_single_variable [function] — test source at lib/pluck/src/bdd.zig:2796 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_wmc_scalar_-_sum_to_one [function] — test source at lib/pluck/src/bdd.zig:2871 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_wmc_scalar_-_two_variables_AND [function] — test source at lib/pluck/src/bdd.zig:2815 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.test_wmc_scalar_-_two_variables_OR [function] — test source at lib/pluck/src/bdd.zig:2833 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.properties.bdd.TruthTableProperty.property [function] — private source at lib/pluck/src/properties/bdd.zig:141 in nearest public owner lib.pluck.src.properties.bdd

Audit