ilang::SmtShim< Generator > Class Template Reference

A templated class for wrapping z3 and smt-switch to provide a unified interface for different application, e.g., unroller. More...

#include <smt_shim.h>

Public Member Functions
	SmtShim (Generator &gen)
	Constructor.
auto	GetShimExpr (const ExprPtr &expr, const std::string &suffix="")
	Unified interface to get expression.
auto	GetShimFunc (const FuncPtr &func)
	Unified interface to get function declaration.
auto	BoolAnd (const ShimExprType &a, const ShimExprType &b)
	Unified interface to AND two boolean expressions.
auto	Equal (const ShimExprType &a, const ShimExprType &b)
	Unified interface to Equal two expressions.
Generator &	get () const
	Return the underlying generator.

Detailed Description

template<class Generator>
class ilang::SmtShim< Generator >

A templated class for wrapping z3 and smt-switch to provide a unified interface for different application, e.g., unroller.

---

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

• smt_shim.h