ilang::smt::SmtlibInvariantParserBase Class Reference

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

#include <chc_inv_in_wrapper.h>

Inheritance diagram for ilang::smt::SmtlibInvariantParserBase:

Public Member Functions
	SmtlibInvariantParserBase (const SmtlibInvariantParserBase &)=delete
	no copy constructor
SmtlibInvariantParserBase &	operator= (const SmtlibInvariantParserBase &)=delete
	no assignment
virtual bool	ParseInvResultFromFile (const std::string &fname)=0
virtual void	ParseSmtResultFromString (const std::string &text)=0
virtual std::string	GetFinalTranslateResult () const =0
	get the translate result
std::string	GetRawSmtString () const
	get the local variable definitions More...

Static Public Member Functions
static void	set_new_local_ctr (unsigned cnt)
	set the counter to a new val when loading
static void	parse_local_var_name_to_set_counter (const std::string &name)
	parse the names to set the new counters
static unsigned	get_local_ctr ()
	to check the value of this counter

Static Protected Member Functions
static std::string	get_a_new_local_var_name ()
	a counter to get local variable name

Protected Attributes
std::string	raw_string

Static Protected Attributes
static unsigned	local_var_idx
	the idx to it

Detailed Description

this a base class, should not be instantiated

Member Function Documentation

std::string ilang::smt::SmtlibInvariantParserBase::GetRawSmtString

(

)

const

get the local variable definitions

return raw_string

---

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

• chc_inv_in_wrapper.h