ReachabilityCompiler::AllResult Struct Reference

An all-targets compilation: one shared d-D, one root per reachable vertex. More...

#include "ReachabilityCompiler.h"

Collaboration diagram for ReachabilityCompiler::AllResult:

Public Attributes
dDNNF	dd
	Shared circuit (gates are reused across vertices).
std::vector< VertexRoot >	roots
	One entry per vertex reachable in the all-edges-present world (including the source itself, with a constant-true root).
Stats	stats
	Compilation statistics.

Detailed Description

An all-targets compilation: one shared d-D, one root per reachable vertex.

Definition at line 115 of file ReachabilityCompiler.h.

Member Data Documentation

dd

dDNNF ReachabilityCompiler::AllResult::dd

Shared circuit (gates are reused across vertices).

Definition at line 116 of file ReachabilityCompiler.h.

roots

std::vector<VertexRoot> ReachabilityCompiler::AllResult::roots

One entry per vertex reachable in the all-edges-present world (including the source itself, with a constant-true root).

Definition at line 117 of file ReachabilityCompiler.h.

stats

Stats ReachabilityCompiler::AllResult::stats

Compilation statistics.

Definition at line 118 of file ReachabilityCompiler.h.

---

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

• /home/senellar/git/software/provsql/src/ReachabilityCompiler.h