
Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation. A very effective representation is decision diagrams, which are suitable for software processing. In the paper, we present the Templated Decision Diagram Library (TeDDy), which implements Binary Decision Diagrams and Multi-valued Decision Diagrams. These allow the efficient representation of Boolean functions, Multiple-valued logic functions, and integer functions. The library’s core uses C++ language templates that enable a universal implementation for all types of diagrams offered without loss of runtime efficiency or duplication of code. The library consists of a module for the general manipulation of decision diagrams and a module that contains algorithms aimed at reliability analysis based on decision diagrams. Compared to other libraries, the added value of our library is in the second module dedicated to reliability analysis.
Multi-valued decision diagram, Binary decision diagram, QA76.75-76.765, Boolean function, Discrete function, Computer software, Reliability analysis, Integer function
Multi-valued decision diagram, Binary decision diagram, QA76.75-76.765, Boolean function, Discrete function, Computer software, Reliability analysis, Integer function
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
