teddy::diagram_manager< Data, Degree, Domain > Member List

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

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 >
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 >
diagram_t typedef	teddy::diagram_manager< Data, Degree, Domain >
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 >
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_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 >
negate(diagram_t const &diagram) -> utils::second_t< Foo, diagram_t >	teddy::diagram_manager< Data, Degree, Domain >
node_t typedef (defined in teddy::diagram_manager< Data, Degree, Domain >)	teddy::diagram_manager< Data, Degree, Domain >	protected
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
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_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 >