ReachabilityCompiler::Result Struct Reference

A compiled reachability query: the d-D and its statistics. More...

#include "ReachabilityCompiler.h"

Collaboration diagram for ReachabilityCompiler::Result:

Public Attributes
dDNNF	dd
	d-D whose root computes "t is reachable from s"; input gates carry the edge tokens (UUID) and probabilities.
Stats	stats
	Compilation statistics.

Detailed Description

A compiled reachability query: the d-D and its statistics.

Definition at line 103 of file ReachabilityCompiler.h.

Member Data Documentation

dd

dDNNF ReachabilityCompiler::Result::dd

d-D whose root computes "t is reachable from s"; input gates carry the edge tokens (UUID) and probabilities.

Definition at line 104 of file ReachabilityCompiler.h.

stats

Stats ReachabilityCompiler::Result::stats

Compilation statistics.

Definition at line 105 of file ReachabilityCompiler.h.

---

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

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