mobius_evaluate.h File Reference

Shared declaration for the Möbius-route probability sweep. More...

#include "postgres.h"
#include "utils/uuid.h"

Include dependency graph for mobius_evaluate.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
double	mobius_probability_of (pg_uuid_t token)
	Probability of a Möbius-route token (a gate_mobius-rooted circuit, or any Boolean island beneath one).

Detailed Description

Shared declaration for the Möbius-route probability sweep.

The safe-UCQ Möbius compiler (mobius_evaluate.cpp) materialises a circuit rooted at a gate_mobius signed combination over certified-independent Boolean islands. Its probability is a single linear sweep that, at each gate_mobius, sums the children's probabilities with the stored integer coefficients (clamped to [0,1]); the Boolean islands evaluate read-once. The sweep lives next to the rest of the probability machinery (probability_evaluate.cpp) but is called both there (the gate_mobius root dispatch) and from the stats SRF, hence this shared declaration.

Definition in file mobius_evaluate.h.

Function Documentation

mobius_probability_of()

double mobius_probability_of

(

pg_uuid_t

token

)

Probability of a Möbius-route token (a gate_mobius-rooted circuit, or any Boolean island beneath one).

Linear sweep: independent OR / AND on the Boolean islands, signed coefficient combination at each gate_mobius, clamped to [0,1].

Probability of a Möbius-route token (a gate_mobius-rooted circuit, or any Boolean island beneath one).

Definition at line 627 of file probability_evaluate.cpp.

Here is the caller graph for this function: