OpenPRA Documentation

scram::core::Preprocessor::GateSet ​

Container of unique gates. More...

Public Functions ​

Name
std::pair< GatePtr, bool >insert(const GatePtr & gate)<br>Inserts a gate into the set if it is semantically unique.

Detailed Description ​

cpp
class scram::core::Preprocessor::GateSet;

Container of unique gates.

This container acts like an unordered set of gates. The gates are equivalent if they have the same semantics. However, this set does not test for the isomorphism of the gates' Boolean formulas.

Public Functions Documentation ​

function insert ​

cpp
inline std::pair< GatePtr, bool > insert(
    const GatePtr & gate
)

Inserts a gate into the set if it is semantically unique.

Parameters:

  • gate The gate to insert.

Return: A pair of the unique gate and the insertion success flag.

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