translator.cpp File Reference

#include "hal_core/netlist/boolean_function/translator.h"
#include "hal_core/utilities/log.h"
#include "hal_core/utilities/utils.h"
#include <boost/multiprecision/cpp_int.hpp>

Include dependency graph for translator.cpp:

Go to the source code of this file.

Namespaces
	hal
	hal::SMT
	hal::SMT::Translator

Functions
Result< std::string >	hal::SMT::Translator::const2str (const std::vector< BooleanFunction::Value > &number)
Result< std::string >	hal::SMT::Translator::reduce_to_smt2 (const BooleanFunction::Node &node, std::vector< std::string > &&p, size_t index, const BooleanFunction &function)
Result< std::string >	hal::SMT::Translator::translate_to_smt2 (const BooleanFunction &function)