OpenPRA Documentation

scram::mef::Formula::ArgSet ​

The set of formula arguments.

#include <event.h>

Public Functions ​

Name
ArgSet(std::initializer_list< Arg > init_list)<br>Constructors from initializer lists and iterator ranges of args.
ArgSet(std::initializer_list< ArgEvent > init_list)
template <typename Iterator > <br>ArgSet(Iterator first1, Iterator last1)
const std::vector< Arg > &data() const
std::vector< Arg > &data()
ArgSet() =default<br>Default constructor of an empty argument set.
voidAdd(ArgEvent event, bool complement =false)<br>Adds an event into the arguments set.
voidAdd(Arg arg)<br>Overload to add formula argument with a structure.
voidRemove(ArgEvent event)<br>Removes an event from the formula.
std::size_tsize() const
boolempty() const

Public Functions Documentation ​

function ArgSet ​

cpp
inline ArgSet(
    std::initializer_list< Arg > init_list
)

Constructors from initializer lists and iterator ranges of args.

function ArgSet ​

cpp
inline ArgSet(
    std::initializer_list< ArgEvent > init_list
)

function ArgSet ​

cpp
template <typename Iterator >
inline ArgSet(
    Iterator first1,
    Iterator last1
)

function data ​

cpp
inline const std::vector< Arg > & data() const

Return: The underlying container with the data.

function data ​

cpp
inline std::vector< Arg > & data()

function ArgSet ​

cpp
ArgSet() =default

Default constructor of an empty argument set.

function Add ​

cpp
void Add(
    ArgEvent event,
    bool complement =false
)

Adds an event into the arguments set.

Parameters:

  • event An argument event.
  • complement Indicate the negation of the argument event.

Exceptions:

function Add ​

cpp
inline void Add(
    Arg arg
)

Overload to add formula argument with a structure.

function Remove ​

cpp
void Remove(
    ArgEvent event
)

Removes an event from the formula.

Parameters:

  • event The argument event of this formula.

Exceptions:

function size ​

cpp
inline std::size_t size() const

Return: The number of arguments in the set.

function empty ​

cpp
inline bool empty() const

Return: true if the set is empty.

Updated on 2025-11-11 at 16:51:08 +0000