ReachabilityCompiler::AnyReachAllResult Struct Reference

A multi-set any-reach compilation: one shared circuit, one root per target set. More...

#include "ReachabilityCompiler.h"

Collaboration diagram for ReachabilityCompiler::AnyReachAllResult:

Public Attributes
dDNNF	dd
	Shared circuit (consed: identical subcircuits are the same gate).
std::vector< gate_t >	roots
	One root per input set, in input order.
Stats	stats
	Compilation statistics (max_states maxed over the sweeps).

Detailed Description

A multi-set any-reach compilation: one shared circuit, one root per target set.

Definition at line 148 of file ReachabilityCompiler.h.

Member Data Documentation

dd

dDNNF ReachabilityCompiler::AnyReachAllResult::dd

Shared circuit (consed: identical subcircuits are the same gate).

Definition at line 149 of file ReachabilityCompiler.h.

roots

std::vector<gate_t> ReachabilityCompiler::AnyReachAllResult::roots

One root per input set, in input order.

Definition at line 150 of file ReachabilityCompiler.h.

stats

Stats ReachabilityCompiler::AnyReachAllResult::stats

Compilation statistics (max_states maxed over the sweeps).

Definition at line 151 of file ReachabilityCompiler.h.

---

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

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