teddy::bdd_manager Member List

This is the complete list of members for teddy::bdd_manager, including all inherited members.

apply(diagram_t const &lhs, diagram_t const &rhs) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
apply_n(Diagram const &... diagrams) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
bdd_manager(int32 varCount, int64 nodePoolSize, std::vector< int32 > order=default_oder())	teddy::bdd_manager	inline
bdd_manager(int32 varCount, int64 nodePoolSize, int64 overflowNodePoolSize, std::vector< int32 > order=default_oder())	teddy::bdd_manager	inline
clear_cache() -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
constant(int32 val) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
diagram_manager(int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, std::vector< int32 > order)	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >	protected
diagram_manager(int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, domains::mixed domain, std::vector< int32 > order)	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >	protected
diagram_t typedef	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
evaluate(diagram_t const &diagram, Vars const &values) const -> int32	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
force_gc() -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
force_reorder() -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
from_expression_tree(Node const &root) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
from_pla(pla_file const &file, fold_type foldType=fold_type::Tree) -> utils::second_t< Foo, std::vector< diagram_t > >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
from_vector(I first, S last) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
from_vector(R &&vector) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_cofactor(diagram_t const &diagram, int32 varIndex, int32 varValue) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_dependency_set(diagram_t const &diagram) const -> std::vector< int32 >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_dependency_set_g(diagram_t const &diagram, O out) const -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_domains() const -> std::vector< int32 >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_node_count() const -> int64	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_node_count(diagram_t const &diagram) const -> int64	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_order() const -> std::vector< int32 > const &	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
get_var_count() const -> int32	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
left_fold(R const &diagrams) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
left_fold(I first, S last) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
negate(diagram_t const &diagram) -> utils::second_t< Foo, diagram_t >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
operator()(int32 index) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
reduce(diagram_t const &diagram) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
satisfy_all(int32 value, diagram_t const &diagram) const -> std::vector< Vars >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
satisfy_all_g(int32 value, diagram_t const &diagram, O out) const -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
satisfy_count(int32 value, diagram_t const &diagram) -> int64	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
satisfy_one(int32 value, diagram_t const &diagram) -> std::optional< Vars >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
set_auto_reorder(bool doReorder) -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
set_cache_ratio(double ratio) -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
set_gc_ratio(double ratio) -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
to_dot_graph(std::ostream &out) const -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
to_dot_graph(std::ostream &out, diagram_t const &diagram) const -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
to_vector(diagram_t const &diagram) const -> std::vector< int32 >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
to_vector_g(diagram_t const &diagram, O out) const -> void	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
transform(diagram_t const &diagram, F transformer) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
tree_fold(R &diagrams) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
tree_fold(I first, S last) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
variable(int32 index) -> diagram_t	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
variable_not(int32 index) -> utils::second_t< Foo, diagram_t >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
variables(std::initializer_list< T > indices) -> std::vector< diagram_t >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
variables(I first, S last) -> std::vector< diagram_t >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >
variables(Is const &indices) -> std::vector< diagram_t >	teddy::diagram_manager< void, degrees::fixed< 2 >, domains::fixed< 2 > >