translator.h File Reference

#include "hal_core/defines.h"
#include "hal_core/netlist/boolean_function.h"
#include <string>
#include <tuple>

Include dependency graph for translator.h:

Go to the source code of this file.

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

Functions
Result< std::string >	hal::SMT::Translator::translate_to_smt2 (const BooleanFunction &function)