TeDDy: Templated decision diagram library

作     者：Mrena, Michal Kvassay, Miroslav Zaitseva, Elena 

作者机构：Univ Zilina Fac Management Sci & Informat Univ 8215-1 Zilina 01026 Slovakia 

出 版 物：《SOFTWAREX》 (SoftwareX)

年 卷 期：2024年第26卷

核心收录：

基　　金：Ministry of Education  Research  Development and Youth of the Slovak Republic  Slovak Republic [VEGA 1/0858/21] 

主　　题：Binary decision diagram Boolean function Discrete function Integer function Multi-valued decision diagram Reliability analysis 

摘      要：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 Multivalued 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.