Multi-threaded breadth-first DD builder. More...
#include <DdBuilder.hpp>
Public Member Functions | |
| void | schedule (NodeId *fp, int level, void *s) |
| Schedules a top-down event. More... | |
| int | initialize (NodeId &root) |
| Initializes the builder. More... | |
| void | construct (int i) |
| Builds one level. More... | |
Detailed Description
template<typename S>
class tdzdd::DdBuilderMP< S >
Multi-threaded breadth-first DD builder.
Definition at line 395 of file DdBuilder.hpp.
Member Function Documentation
◆ construct()
template<typename S>
|
inline |
Builds one level.
- Parameters
-
i level.
Definition at line 494 of file DdBuilder.hpp.
References tdzdd::MyHashTable< T, Hash, Equal >::add(), tdzdd::MyHashTable< T, Hash, Equal >::initialize(), and tdzdd::DdSweeper< ARITY >::update().
Referenced by tdzdd::DdStructure< ARITY >::DdStructure().
Here is the call graph for this function:
◆ initialize()
template<typename S>
|
inline |
Initializes the builder.
- Parameters
-
root result storage.
Definition at line 471 of file DdBuilder.hpp.
References tdzdd::DdSweeper< ARITY >::setRoot().
Referenced by tdzdd::DdStructure< ARITY >::DdStructure().
Here is the call graph for this function:
◆ schedule()
template<typename S>
|
inline |
Schedules a top-down event.
- Parameters
-
fp result storage. level node level of the event. s node state of the event.
Definition at line 461 of file DdBuilder.hpp.
The documentation for this class was generated from the following file:
- include/tdzdd/dd/DdBuilder.hpp
