praxis / algorithms / direct_zbdd

---

Module direct_zbdd

Quick Reference

Item	Kind	Description
build_zbdd_from_pdag	fn
build_zbdd_topdown	fn
build_zbdd_delterm	fn
build_zbdd_delterm_named	fn

Functions

build_zbdd_from_pdag

fn build_zbdd_from_pdag(pdag: &crate::algorithms::pdag::Pdag, fault_tree: &crate::core::fault_tree::FaultTree, cut_off: Option<f64>, limit_order: Option<usize>) -> crate::Result<(crate::algorithms::zbdd_engine::ZbddEngine, crate::algorithms::zbdd_engine::ZbddRef)>

build_zbdd_topdown

fn build_zbdd_topdown(pdag: &crate::algorithms::pdag::Pdag, fault_tree: &crate::core::fault_tree::FaultTree, cut_off: Option<f64>, limit_order: Option<usize>, mutex_gate: Option<&str>) -> crate::Result<(crate::algorithms::zbdd_engine::ZbddEngine, crate::algorithms::zbdd_engine::ZbddRef)>

build_zbdd_delterm

fn build_zbdd_delterm(pdag: &crate::algorithms::pdag::Pdag, fault_tree: &crate::core::fault_tree::FaultTree, cut_off: Option<f64>, limit_order: Option<usize>, mutex_gate: Option<&str>) -> crate::Result<(crate::algorithms::zbdd_engine::ZbddEngine, crate::algorithms::zbdd_engine::ZbddRef)>

build_zbdd_delterm_named

fn build_zbdd_delterm_named(pdag: &crate::algorithms::pdag::Pdag, fault_tree: &crate::core::fault_tree::FaultTree, cut_off: Option<f64>, limit_order: Option<usize>, mutex_gate: Option<&str>) -> crate::Result<Vec<Vec<String>>>