OpenPRA Documentation

scram::core::Bdd::Function ​

Holder of computation resultant functions and gate representations.

#include <bdd.h>

Public Functions ​

Name
operator bool() const
voidreset()<br>Clears the function's root vertex pointer.
voidswap(Function & other)<br>Swaps with another function.

Public Attributes ​

Name
boolcomplement <br>The interpretation of the function.
VertexPtrvertex <br>The root vertex of the BDD function graph.

Public Functions Documentation ​

function operator bool ​

cpp
inline explicit operator bool() const

Return: true if the function is initialized.

function reset ​

cpp
inline void reset()

Clears the function's root vertex pointer.

function swap ​

cpp
inline void swap(
    Function & other
)

Swaps with another function.

Public Attributes Documentation ​

variable complement ​

cpp
bool complement;

The interpretation of the function.

variable vertex ​

cpp
VertexPtr vertex;

The root vertex of the BDD function graph.

Updated on 2026-01-09 at 21:59:11 +0000