teddy::node_manager< Data, Degree, Domain > Class Template Reference

Classes
struct	common_init_tag

Public Types
using	node_t = node< Data, Degree >
using	son_container = typename node_t::son_container

Public Member Functions
	node_manager (int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, std::vector< int32 > order)
	node_manager (int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, std::vector< int32 > order, domains::mixed domains)
	node_manager (node_manager &&) noexcept=default
	node_manager (node_manager const &)=delete
auto	operator= (node_manager const &)=delete
auto	operator= (node_manager &&)=delete
auto	set_cache_ratio (double ratio) -> void
auto	set_gc_ratio (double ratio) -> void
auto	set_auto_reorder (bool doReorder) -> void
auto	get_terminal_node (int32 value) const -> node_t *
auto	make_terminal_node (int32 value) -> node_t *
auto	make_internal_node (int32 index, son_container const &sons) -> node_t *
auto	make_son_container (int32 domain) -> son_container
auto	get_level (int32 index) const -> int32
auto	get_level (node_t *node) const -> int32
auto	get_leaf_level () const -> int32
auto	get_index (int32 level) const -> int32
auto	get_domain (int32 index) const -> int32
auto	get_domain (node_t *node) const -> int32
auto	get_node_count (int32 index) const -> int64
auto	get_node_count (node_t *node) const -> int64
auto	get_node_count () const -> int64
auto	get_var_count () const -> int32
auto	get_order () const -> std::vector< int32 > const &
auto	get_domains () const -> std::vector< int32 >
auto	force_gc () -> void
auto	to_dot_graph (std::ostream &ost) const -> void
auto	to_dot_graph (std::ostream &ost, node_t *node) const -> void
auto	domain_product (int32 levelFrom, int32 levelTo) const -> int64
template<class NodeOp >
auto	for_each_son (node_t *node, NodeOp &&operation) const -> void
template<class NodeOp >
auto	for_each_son (int32 index, son_container const &sons, NodeOp &&operation) const -> void
template<class NodeOp >
auto	for_each_node (NodeOp &&operation) const -> void
template<class NodeOp >
auto	for_each_terminal_node (NodeOp &&operation) const -> void
template<teddy_bin_op O>
auto	cache_find (node_t *lhs, node_t *rhs) -> node_t *
template<teddy_bin_op O>
auto	cache_put (node_t *result, node_t *lhs, node_t *rhs) -> void
auto	cache_clear () -> void
template<class NodeOp >
auto	traverse_pre (node_t *rootNode, NodeOp operation) const -> void
template<class NodeOp >
auto	traverse_post (node_t *rootNode, NodeOp operation) const -> void
template<class NodeOp >
auto	traverse_level (node_t *rootNode, NodeOp operation) const -> void
auto	is_valid_var_value (int32 index, int32 value) const -> bool
auto	run_deferred () -> void
auto	sift_variables () -> void

Static Public Member Functions
static auto	dec_ref_count (node_t *node) -> void

---

Class Documentation

teddy::node_manager::common_init_tag

struct teddy::node_manager::common_init_tag

template<class Data, class Degree, class Domain>
struct teddy::node_manager< Data, Degree, Domain >::common_init_tag

---

The documentation for this class was generated from the following file:

• node_manager.hpp