StructuredDNNFBuilder::InputKey Struct Reference

Structured per-input order key carried by the planner's markers. More...

#include "StructuredDNNF.h"

Public Attributes
std::string	root
std::string	sec
int	factor

Detailed Description

Structured per-input order key carried by the planner's markers.

Locates an input variable in the query hierarchy: root is the root-class value (one independent block per value), sec the secondary-class value (one tile per value within a block), and factor which quantified factor (clause) the variable's atom belongs to, or GUARD_FACTOR for a self-join atom shared by every factor of its tile. For the witness S(x,y),A(x,y),S(x,z),B(x,z): the S tuple is {a,v,GUARD}, A is {a,v,0}, B is {a,v,1}. The caller flattens these keys into a total rank (root, then sec, then guard-before-payload, then factor) for the order-only constructor above; the struct is the carrier between the marker collection and that flattening.

Definition at line 91 of file StructuredDNNF.h.

Member Data Documentation

factor

int StructuredDNNFBuilder::InputKey::factor

Definition at line 91 of file StructuredDNNF.h.

root

std::string StructuredDNNFBuilder::InputKey::root

Definition at line 91 of file StructuredDNNF.h.

sec

std::string StructuredDNNFBuilder::InputKey::sec

Definition at line 91 of file StructuredDNNF.h.

---

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

• /home/pierre/git/software/provsql/src/StructuredDNNF.h