JointEncoding.cpp File Reference

The data-graph fast-path encoding. More...

#include "JointEncoding.h"
#include <algorithm>
#include <unordered_map>
#include "TreeDecomposition.h"

Include dependency graph for JointEncoding.cpp:

Go to the source code of this file.

Detailed Description

The data-graph fast-path encoding.

See JointEncoding.h for the design. This translation unit implements the §3.5 regime (independent gate_input tokens, joint graph = Gaifman graph of the facts); it does not handle the correlated regime's circuit slice extraction.

Definition in file JointEncoding.cpp.