HAL
Namespaces | Functions
boolean_influence.h File Reference
#include "hal_core/defines.h"
#include "hal_core/utilities/result.h"
#include "z3_utils/z3_utils.h"
#include <map>
#include <unordered_map>
#include <vector>
Include dependency graph for boolean_influence.h:

Go to the source code of this file.

Namespaces

 hal
 
 hal::boolean_influence
 

Functions

Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence (const BooleanFunction &bf, const u32 num_evaluations=32000)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_with_hal_boolean_function_class (const BooleanFunction &bf, const u32 num_evaluations)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_with_z3_expr (const BooleanFunction &bf, const u32 num_evaluations)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence (const z3::expr &e, const u32 num_evaluations=32000)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_deterministic (const BooleanFunction &bf)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_deterministic (const z3::expr &e)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_subcircuit (const std::vector< Gate * > &gates, const Net *start_net, const u32 num_evaluations=32000)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_gate (const Gate *gate, const u32 num_evaluations=32000)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_subcircuit_deterministic (const std::vector< Gate * > &gates, const Net *start_net)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_gate_deterministic (const Gate *gate)
 
Result< std::pair< std::map< u32, Gate * >, std::vector< std::vector< double > > > > hal::boolean_influence::get_ff_dependency_matrix (const Netlist *netlist, bool with_boolean_influence)