One source of a multi-source compilation. More...

#include "ReachabilityCompiler.h"

Public Attributes
unsigned long	vertex
	Source vertex.
std::string	token
	Provenance token of the source tuple (unused when certain).
double	prob
	Source-tuple probability (unused when certain).
bool	certain
	Always-present source (no gating variable).

Detailed Description

One source of a multi-source compilation.

Modelled as an arc from a virtual super-source to vertex: gated by the source tuple's provenance token when the source relation is tracked (a probabilistic source set), always present when certain (untracked sources, or the constant base arm of the recursive shape).

Definition at line 163 of file ReachabilityCompiler.h.

Member Data Documentation

◆ certain

bool ReachabilityCompiler::SourceArc::certain

Always-present source (no gating variable).

Definition at line 167 of file ReachabilityCompiler.h.

◆ prob

double ReachabilityCompiler::SourceArc::prob

Source-tuple probability (unused when certain).

Definition at line 166 of file ReachabilityCompiler.h.

◆ token

std::string ReachabilityCompiler::SourceArc::token

Provenance token of the source tuple (unused when certain).

Definition at line 165 of file ReachabilityCompiler.h.

◆ vertex

unsigned long ReachabilityCompiler::SourceArc::vertex

Source vertex.

Definition at line 164 of file ReachabilityCompiler.h.

The documentation for this struct was generated from the following file:

/home/senellar/git/software/provsql/src/ReachabilityCompiler.h