boolean_influence.h

Go to the documentation of this file.

 
#pragma once
 
#include "hal_core/defines.h"
#include "hal_core/utilities/result.h"
#include "z3_utils/z3_utils.h"
 
#include <map>
#include <unordered_map>
#include <vector>
 
namespace hal
{
    class BooleanFunction;
    class Gate;
    class Net;
    class Netlist;
 
    namespace boolean_influence
    {
        Result<std::unordered_map<std::string, double>> get_boolean_influence(const BooleanFunction& bf, const u32 num_evaluations = 32000);
 
        Result<std::unordered_map<std::string, double>> get_boolean_influence_with_hal_boolean_function_class(const BooleanFunction& bf, const u32 num_evaluations);
 
        Result<std::unordered_map<std::string, double>> get_boolean_influence_with_z3_expr(const BooleanFunction& bf, const u32 num_evaluations);
 
        Result<std::unordered_map<std::string, double>> get_boolean_influence(const z3::expr& e, const u32 num_evaluations = 32000);
 
        Result<std::unordered_map<std::string, double>> get_boolean_influence_deterministic(const BooleanFunction& bf);
 
        Result<std::unordered_map<std::string, double>> get_boolean_influence_deterministic(const z3::expr& e);
 
        Result<std::map<Net*, double>> get_boolean_influences_of_subcircuit(const std::vector<Gate*>& gates, const Net* start_net, const u32 num_evaluations = 32000);
 
        Result<std::map<Net*, double>> get_boolean_influences_of_gate(const Gate* gate, const u32 num_evaluations = 32000);
 
        Result<std::map<Net*, double>> get_boolean_influences_of_subcircuit_deterministic(const std::vector<Gate*>& gates, const Net* start_net);
 
        Result<std::map<Net*, double>> get_boolean_influences_of_gate_deterministic(const Gate* gate);
 
        Result<std::pair<std::map<u32, Gate*>, std::vector<std::vector<double>>>> get_ff_dependency_matrix(const Netlist* netlist, bool with_boolean_influence);
    }    // namespace boolean_influence
}    // namespace hal