| cache_clear() -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| cache_find(node_t *lhs, node_t *rhs) -> node_t * (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| cache_put(node_t *result, node_t *lhs, node_t *rhs) -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| dec_ref_count(node_t *node) -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | static |
| domain_product(int32 levelFrom, int32 levelTo) const -> int64 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| for_each_node(NodeOp &&operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| for_each_son(node_t *node, NodeOp &&operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| for_each_son(int32 index, son_container const &sons, NodeOp &&operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| for_each_terminal_node(NodeOp &&operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| force_gc() -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_domain(int32 index) const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_domain(node_t *node) const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_domains() const -> std::vector< int32 > (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_index(int32 level) const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_leaf_level() const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_level(int32 index) const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_level(node_t *node) const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_node_count(int32 index) const -> int64 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_node_count(node_t *node) const -> int64 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_node_count() const -> int64 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_order() const -> std::vector< int32 > const & (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_terminal_node(int32 value) const -> node_t * (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| get_var_count() const -> int32 (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| is_valid_var_value(int32 index, int32 value) const -> bool (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| make_internal_node(int32 index, son_container const &sons) -> node_t * (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| make_son_container(int32 domain) -> son_container (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| make_terminal_node(int32 value) -> node_t * (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| node_manager(int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, std::vector< int32 > order) (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| node_manager(int32 varCount, int64 nodePoolSize, int64 extraNodePoolSize, std::vector< int32 > order, domains::mixed domains) (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| node_manager(node_manager &&) noexcept=default (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| node_manager(node_manager const &)=delete (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| node_t typedef (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| operator=(node_manager const &)=delete (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| operator=(node_manager &&)=delete (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| run_deferred() -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| set_auto_reorder(bool doReorder) -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| set_cache_ratio(double ratio) -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| set_gc_ratio(double ratio) -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| sift_variables() -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| son_container typedef (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| to_dot_graph(std::ostream &ost) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| to_dot_graph(std::ostream &ost, node_t *node) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| traverse_level(node_t *rootNode, NodeOp operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| traverse_post(node_t *rootNode, NodeOp operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| traverse_pre(node_t *rootNode, NodeOp operation) const -> void (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
| ~node_manager()=default (defined in teddy::node_manager< Data, Degree, Domain >) | teddy::node_manager< Data, Degree, Domain > | |
1.9.7