ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
Loading...
Searching...
No Matches
ReachabilityCompiler::VertexRoot Struct Reference

One vertex's reachability circuit in an all-targets compilation. More...

#include "ReachabilityCompiler.h"

Public Attributes

unsigned long vertex
 Vertex ID.
gate_t root
 Root of "vertex is reachable from the source" in the shared d-D.

Detailed Description

One vertex's reachability circuit in an all-targets compilation.

Definition at line 109 of file ReachabilityCompiler.h.

Member Data Documentation

◆ root

gate_t ReachabilityCompiler::VertexRoot::root

Root of "vertex is reachable from the source" in the shared d-D.

Definition at line 111 of file ReachabilityCompiler.h.

◆ vertex

unsigned long ReachabilityCompiler::VertexRoot::vertex

Vertex ID.

Definition at line 110 of file ReachabilityCompiler.h.

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