DTree.cpp File Reference

Implementation of the d-tree anytime interval-bounds engine. More...

#include <algorithm>
#include <functional>
#include <map>
#include <set>
#include <string>
#include <type_traits>
#include <unordered_map>
#include <utility>
#include <vector>
#include "BooleanCircuit.h"
#include "DTree.h"
#include "provsql_utils.h"
#include "miscadmin.h"

Include dependency graph for DTree.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
DTreeInterval	provsql::dtreeBounds (const BooleanCircuit &c, Clauses clauses, double max_width, unsigned long budget, unsigned long *steps_out)
DTreeInterval	provsql::dtreeBoundsCircuit (const BooleanCircuit &c, gate_t root, double max_width, unsigned long budget=0, unsigned long *steps_out=nullptr)
	Certified probability interval of an arbitrary Boolean circuit, refined to a target width (the d-tree generalised off monotone DNF).

Detailed Description

Implementation of the d-tree anytime interval-bounds engine.

Definition in file DTree.cpp.