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

Walker context: does any target-list Var reach a tracked atom? More...

Public Attributes

Index * rtis
int natoms
bool found

Detailed Description

Walker context: does any target-list Var reach a tracked atom?

Definition at line 125 of file joint_width_query.c.

Member Data Documentation

◆ found

bool ExistCtx::found

Definition at line 128 of file joint_width_query.c.

◆ natoms

int ExistCtx::natoms

Definition at line 127 of file joint_width_query.c.

◆ rtis

Index* ExistCtx::rtis

Definition at line 126 of file joint_width_query.c.


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