simplification.h File Reference

#include "hal_core/utilities/result.h"
#include "z3++.h"
#include <unordered_map>

Include dependency graph for simplification.h:

Go to the source code of this file.

Namespaces
	hal
	hal::z3_utils

Functions
Result< z3::expr >	hal::z3_utils::simplify_local (const z3::expr &e, std::unordered_map< u32, z3::expr > &cache, const bool check_correctness=false)
	Applies hand-crafted simplification rules iteratively until no further simplifications can be made. More...
Result< z3::expr >	hal::z3_utils::simplify_local (const z3::expr &e, const bool check_correctness=false)
	Applies hand-crafted simplification rules iteratively until no further simplifications can be made. More...