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

One (vertex, walk length) circuit of a bounded-hop compilation. More...

#include "ReachabilityCompiler.h"

Public Attributes

unsigned long vertex
 Vertex ID.
unsigned hops
 Exact walk length (number of edges).
gate_t root
 Root of "some walk of exactly this many edges connects the source to the vertex".

Detailed Description

One (vertex, walk length) circuit of a bounded-hop compilation.

Definition at line 122 of file ReachabilityCompiler.h.

Member Data Documentation

◆ hops

unsigned ReachabilityCompiler::VertexHopRoot::hops

Exact walk length (number of edges).

Definition at line 124 of file ReachabilityCompiler.h.

◆ root

gate_t ReachabilityCompiler::VertexHopRoot::root

Root of "some walk of exactly this many edges connects the source to the vertex".

Definition at line 125 of file ReachabilityCompiler.h.

◆ vertex

unsigned long ReachabilityCompiler::VertexHopRoot::vertex

Vertex ID.

Definition at line 123 of file ReachabilityCompiler.h.

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