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

Public Member Functions

bool operator== (const CacheKey &o) const

Public Attributes

DNF d
gate_t fs

Detailed Description

Definition at line 125 of file StructuredDNNF.h.

Member Function Documentation

◆ operator==()

bool StructuredDNNFBuilder::CacheKey::operator== ( const CacheKey & o) const

Definition at line 49 of file StructuredDNNF.cpp.

Member Data Documentation

◆ d

DNF StructuredDNNFBuilder::CacheKey::d

Definition at line 125 of file StructuredDNNF.h.

◆ fs

gate_t StructuredDNNFBuilder::CacheKey::fs

Definition at line 125 of file StructuredDNNF.h.

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