ilang::smt::SmtlibInvariantParserInstance Class Reference

this a base class, should not be instantiated More...

#include <chc_inv_in_wrapper.h>

Public Member Functions
	SmtlibInvariantParserInstance (YosysSmtParser *yosys_smt_info, bool _flatten_datatype, bool _flatten_hierarchy, const std::set< std::string > &_inv_pred_name, const std::string &dut_inst_name)
	SmtlibInvariantParserInstance (const SmtlibInvariantParserInstance &)=delete
	no copy constructor
SmtlibInvariantParserInstance &	operator= (const SmtlibInvariantParserInstance &)=delete
	no assignment
bool	ParseInvResultFromFile (const std::string &fname)
void	ParseSmtResultFromString (const std::string &text)
std::string	GetFinalTranslateResult () const
	get the translate result

Protected Attributes
SmtlibInvariantParserBase *	_ptr

Detailed Description

this a base class, should not be instantiated

---

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

• chc_inv_in_wrapper.h