symbolic_execution.cpp File Reference

#include "hal_core/netlist/boolean_function/symbolic_execution.h"
#include "hal_core/utilities/log.h"

Include dependency graph for symbolic_execution.cpp:

Go to the source code of this file.

Namespaces
	hal
	hal::SMT
	hal::SMT::ConstantPropagation

Functions
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::And (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Or (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Not (const std::vector< BooleanFunction::Value > &p)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Xor (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Add (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Sub (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Mul (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Eq (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Udiv (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Urem (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Sdiv (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Srem (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Shl (const std::vector< BooleanFunction::Value > &p0, const u16 p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Lshr (const std::vector< BooleanFunction::Value > &p0, const u16 p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Ashr (const std::vector< BooleanFunction::Value > &p0, const u16 p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Rol (const std::vector< BooleanFunction::Value > &p0, const u16 p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Ror (const std::vector< BooleanFunction::Value > &p0, const u16 p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Sle (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Slt (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Ule (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Ult (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1)
std::vector< BooleanFunction::Value >	hal::SMT::ConstantPropagation::Ite (const std::vector< BooleanFunction::Value > &p0, const std::vector< BooleanFunction::Value > &p1, const std::vector< BooleanFunction::Value > &p2)
Result< std::vector< BooleanFunction::Value > >	hal::SMT::ConstantPropagation::fold (const BooleanFunction::Node &node, std::vector< std::vector< BooleanFunction::Value >> &values, const std::vector< u16 > &indices)