This is the complete list of members for teddy::reliability_manager< Degree, Domain >, including all inherited members.

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