hal::Z3UtilsPlugin Class Reference

#include </home/runner/work/hal/hal/plugins/z3_utils/include/z3_utils/plugin_z3_utils.h>

Inheritance diagram for hal::Z3UtilsPlugin:

Collaboration diagram for hal::Z3UtilsPlugin:

Public Member Functions
std::string	get_name () const override
std::string	get_version () const override
void	initialize () override
Public Member Functions inherited from hal::BasePluginInterface
	BasePluginInterface ()=default
virtual	~BasePluginInterface ()
virtual std::string	get_description () const
virtual std::set< std::string >	get_dependencies () const
template<typename... Args>
void	log (const Args &... args) const
virtual void	on_load ()
virtual void	on_unload ()
virtual void	initialize_logging ()
virtual std::vector< AbstractExtensionInterface * >	get_extensions () const
template<typename T >
T *	get_first_extension () const
void	delete_extension (AbstractExtensionInterface *aeif)

Additional Inherited Members
Protected Attributes inherited from hal::BasePluginInterface
std::vector< AbstractExtensionInterface * >	m_extensions

Detailed Description

The plugin that provides utilities to translate between HAL Boolean functions and z3 expressions.

Definition at line 37 of file plugin_z3_utils.h.

Member Function Documentation

get_name()

std::string hal::Z3UtilsPlugin::get_name ( ) const

overridevirtual

Get the name of the plugin.

Returns

The name of the plugin.

Implements hal::BasePluginInterface.

Definition at line 10 of file plugin_z3_utils.cpp.

Referenced by hal::PYBIND11_PLUGIN().

get_version()

std::string hal::Z3UtilsPlugin::get_version ( ) const

overridevirtual

Get the version of the plugin.

Returns

The version of the plugin.

Implements hal::BasePluginInterface.

Definition at line 15 of file plugin_z3_utils.cpp.

Referenced by hal::PYBIND11_PLUGIN().

initialize()

void hal::Z3UtilsPlugin::initialize ( )

overridevirtual

Initialize the plugin.

Reimplemented from hal::BasePluginInterface.

Definition at line 20 of file plugin_z3_utils.cpp.

---

The documentation for this class was generated from the following files:

• plugins/z3_utils/include/z3_utils/plugin_z3_utils.h
• plugins/z3_utils/src/plugin_z3_utils.cpp