Query-derived order recipe for the structured-d-DNNF builder. More...

#include "safe_query_cert.h"

Public Attributes
SafeCertKind	kind
int	nclasses
	Number of (compacted) equivalence classes.
int	root_class
	Compacted id of the root class (touches every atom).
int	natoms
	Number of atoms (range-table entries).
int *	class_topo_order
	Length `nclasses:` classes in `G_prec` topological order, root first.
int *	atom_relation_rank
	Length `natoms:` relation-symbol tie-break rank per atom.
int	maxarity
	Stride of `atom_col_class` (max columns per atom seen).
int *	atom_col_class
	Flattened [natoms][maxarity]: compacted class anchored at (atom, column), or -1.

Detailed Description

Query-derived order recipe for the structured-d-DNNF builder.

The recipe is the static, query-level half of the Prop. 4.5 order: the class topological order (root class first), a relation-symbol tie-break rank per atom, and the per-atom column->class anchor map. Combined at evaluation time with the per-input keys (carried on the input annotation gates), it yields a total order consistent with Prop. 4.5. Arrays are palloc'd in the current memory context.

Definition at line 40 of file safe_query_cert.h.

Member Data Documentation

◆ atom_col_class

int* SafeCert::atom_col_class

Flattened [natoms][maxarity]: compacted class anchored at (atom, column), or -1.

Definition at line 51 of file safe_query_cert.h.

◆ atom_relation_rank

int* SafeCert::atom_relation_rank

Length natoms: relation-symbol tie-break rank per atom.

Definition at line 48 of file safe_query_cert.h.

◆ class_topo_order

int* SafeCert::class_topo_order

Length nclasses: classes in G_prec topological order, root first.

Definition at line 47 of file safe_query_cert.h.

◆ kind

SafeCertKind SafeCert::kind

Definition at line 41 of file safe_query_cert.h.

◆ maxarity

int SafeCert::maxarity

Stride of atom_col_class (max columns per atom seen).

Definition at line 50 of file safe_query_cert.h.

◆ natoms

int SafeCert::natoms

Number of atoms (range-table entries).

Definition at line 45 of file safe_query_cert.h.

◆ nclasses

int SafeCert::nclasses

Number of (compacted) equivalence classes.

Definition at line 43 of file safe_query_cert.h.

◆ root_class

int SafeCert::root_class

Compacted id of the root class (touches every atom).

Definition at line 44 of file safe_query_cert.h.

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

/home/pierre/git/software/provsql/src/safe_query_cert.h

Public Attributes