| apply(diagram_t const &lhs, diagram_t const &rhs) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| apply_n(Diagram const &... diagrams) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| birnbaum_importance(Ps const &probs, diagram_t const &dpld) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| bss_manager(int32 componentCount, int64 nodePoolSize, std::vector< int32 > order=default_oder()) | teddy::bss_manager | inline |
| bss_manager(int32 componentCount, int64 nodePoolSize, int64 overflowNodePoolSize, std::vector< int32 > order=default_oder()) | teddy::bss_manager | inline |
| calculate_availability(Ps const &probs, diagram_t const &diagram) -> utils::second_t< Foo, double > | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_availability(int32 state, Ps const &probs, diagram_t const &diagram) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_probabilities(Ps const &probs, diagram_t const &diagram) -> void | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_probabilities(Ps const &probs, diagram_t const &diagram) -> void | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_probability(Ps const &probs, diagram_t const &diagram) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_probability(int32 state, Ps const &probs, diagram_t const &diagram) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_unavailability(Ps const &probs, diagram_t const &diagram) -> utils::second_t< Foo, double > | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| calculate_unavailability(int32 state, Ps const &probs, diagram_t const &diagram) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| clear_cache() -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| constant(int32 val) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| diagram_manager(int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, std::vector< int32 > order) | teddy::diagram_manager< Data, Degree, Domain > | protected |
| diagram_manager(int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, domains::mixed domain, std::vector< int32 > order) | teddy::diagram_manager< Data, Degree, Domain > | protected |
| diagram_manager(diagram_manager &&) noexcept=default (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
| diagram_manager(diagram_manager const &)=delete (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
| dpld(var_change varChange, FChange fChange, diagram_t const &diagram) -> diagram_t | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| evaluate(diagram_t const &diagram, Vars const &values) const -> int32 | teddy::diagram_manager< Data, Degree, Domain > | |
| force_gc() -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| force_reorder() -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| from_expression_tree(Node const &root) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| from_pla(pla_file const &file, fold_type foldType=fold_type::Tree) -> utils::second_t< Foo, std::vector< diagram_t > > | teddy::diagram_manager< Data, Degree, Domain > | |
| from_vector(I first, S last) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| from_vector(R &&vector) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| fussell_vesely_importance(Ps const &probs, diagram_t const &dpld, double unavailability, int32 componentState, int32 componentIndex) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| get_availability() const -> utils::second_t< Foo, double > | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| get_availability(int32 state) const -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| get_cofactor(diagram_t const &diagram, int32 varIndex, int32 varValue) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| get_cofactor(diagram_t const &diagram, std::vector< var_cofactor > const &vars) -> diagram_t (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
| get_dependency_set(diagram_t const &diagram) const -> std::vector< int32 > | teddy::diagram_manager< Data, Degree, Domain > | |
| get_dependency_set_g(diagram_t const &diagram, O out) const -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| get_domains() const -> std::vector< int32 > | teddy::diagram_manager< Data, Degree, Domain > | |
| get_node_count() const -> int64 | teddy::diagram_manager< Data, Degree, Domain > | |
| get_node_count(diagram_t const &diagram) const -> int64 | teddy::diagram_manager< Data, Degree, Domain > | |
| get_order() const -> std::vector< int32 > const & | teddy::diagram_manager< Data, Degree, Domain > | |
| get_probability(int32 state) const -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| get_unavailability() -> utils::second_t< Foo, double > | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| get_unavailability(int32 state) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| get_var_count() const -> int32 | teddy::diagram_manager< Data, Degree, Domain > | |
| left_fold(R const &diagrams) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| left_fold(I first, S last) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| mcvs(diagram_t const &diagram, int32 state) -> std::vector< Vars > | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| mcvs_g(diagram_t const &diagram, int32 state, Out out) -> void | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| mpvs(diagram_t const &diagram, int32 state) -> std::vector< Vars > | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| mpvs_g(diagram_t const &diagram, int32 state, Out out) -> void | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| negate(diagram_t const &diagram) -> utils::second_t< Foo, diagram_t > | teddy::diagram_manager< Data, Degree, Domain > | |
| nodes_ (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | protected |
| operator()(int32 index) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| operator=(diagram_manager &&) noexcept -> diagram_manager &=default (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
| operator=(diagram_manager const &) -> diagram_manager &=delete (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
| reduce(diagram_t const &diagram) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| satisfy_all(int32 value, diagram_t const &diagram) const -> std::vector< Vars > | teddy::diagram_manager< Data, Degree, Domain > | |
| satisfy_all_g(int32 value, diagram_t const &diagram, O out) const -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| satisfy_all_g(int32 const value, diagram_t const &diagram, OutputIt out) const -> void (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
| satisfy_count(int32 value, diagram_t const &diagram) -> int64 | teddy::diagram_manager< Data, Degree, Domain > | |
| satisfy_one(int32 value, diagram_t const &diagram) -> std::optional< Vars > | teddy::diagram_manager< Data, Degree, Domain > | |
| set_auto_reorder(bool doReorder) -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| set_cache_ratio(double ratio) -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| set_gc_ratio(double ratio) -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| son_container typedef (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | protected |
| state_frequency(diagram_t const &diagram, int32 state) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| structural_importance(diagram_t const &dpld) -> double | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| to_dot_graph(std::ostream &out) const -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| to_dot_graph(std::ostream &out, diagram_t const &diagram) const -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| to_dpld_e(int32 varFrom, int32 varIndex, diagram_t const &dpld) -> diagram_t | teddy::reliability_manager< degrees::fixed< 2 >, domains::fixed< 2 > > | |
| to_vector(diagram_t const &diagram) const -> std::vector< int32 > | teddy::diagram_manager< Data, Degree, Domain > | |
| to_vector_g(diagram_t const &diagram, O out) const -> void | teddy::diagram_manager< Data, Degree, Domain > | |
| transform(diagram_t const &diagram, F transformer) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| tree_fold(R &diagrams) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| tree_fold(I first, S last) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| variable(int32 index) -> diagram_t | teddy::diagram_manager< Data, Degree, Domain > | |
| variable_not(int32 index) -> utils::second_t< Foo, diagram_t > | teddy::diagram_manager< Data, Degree, Domain > | |
| variables(std::initializer_list< T > indices) -> std::vector< diagram_t > | teddy::diagram_manager< Data, Degree, Domain > | |
| variables(I first, S last) -> std::vector< diagram_t > | teddy::diagram_manager< Data, Degree, Domain > | |
| variables(Is const &indices) -> std::vector< diagram_t > | teddy::diagram_manager< Data, Degree, Domain > | |
| ~diagram_manager()=default (defined in teddy::diagram_manager< Data, Degree, Domain >) | teddy::diagram_manager< Data, Degree, Domain > | |
1.9.7