scram::core::Pdag::Substitution

Non-declarative substitutions.

#include <pdag.h>

Public Attributes

	Name
const std::vector< int >	hypothesis <br>The non-empty unique hypothesis set event IDs.
const std::vector< int >	source <br>The non-empty unique source event IDs to remove.
const int	target <br>The target event ID.

Public Attributes Documentation

variable hypothesis

const std::vector< int > hypothesis;

The non-empty unique hypothesis set event IDs.

variable source

const std::vector< int > source;

The non-empty unique source event IDs to remove.

variable target

const int target;

The target event ID.

0 indicates absence of a target (i.e., constant True).

---

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