BooleanCircuit::CNFInputMapping Struct Reference

One row of the Tseytin variable mapping. More...

#include "BooleanCircuit.h"

Public Attributes
int	variable
	DIMACS variable index (= gate id + 1).
std::string	uuid
	Original-circuit UUID (empty if unknown).
double	probability
	Probability assigned to the input gate.

Detailed Description

One row of the Tseytin variable mapping.

Ties a DIMACS variable index back to the provenance input it stands for, so an external model count / satisfying assignment can be read against the original circuit.

Definition at line 437 of file BooleanCircuit.h.

Member Data Documentation

probability

double BooleanCircuit::CNFInputMapping::probability

Probability assigned to the input gate.

Definition at line 440 of file BooleanCircuit.h.

uuid

std::string BooleanCircuit::CNFInputMapping::uuid

Original-circuit UUID (empty if unknown).

Definition at line 439 of file BooleanCircuit.h.

variable

int BooleanCircuit::CNFInputMapping::variable

DIMACS variable index (= gate id + 1).

Definition at line 438 of file BooleanCircuit.h.

---

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

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