types.h File Reference

#include "hal_core/defines.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/utilities/enums.h"
#include <map>
#include <optional>
#include <string>

Include dependency graph for types.h:

Go to the source code of this file.

Classes
struct	hal::SMT::QueryConfig
struct	hal::SMT::Constraint
struct	hal::SMT::Model
struct	hal::SMT::SolverResult

Namespaces
	hal
	hal::SMT

Enumerations
enum class	hal::SMT::SolverType : int { hal::SMT::Z3 = 0 , hal::SMT::Boolector , hal::SMT::Bitwuzla , hal::SMT::Unknown }
enum class	hal::SMT::SolverCall : int { hal::SMT::Binary , hal::SMT::Library }
enum class	hal::SMT::SolverResultType { hal::SMT::Sat , hal::SMT::UnSat , hal::SMT::Unknown }