ilang::VlgVerifTgtGenBase::_adv_parameters Struct Reference

#include <vtarget_gen.h>

Public Member Functions
	_adv_parameters ()
	The default constructor for default values.
virtual	~_adv_parameters ()
	virtual destructor

Public Attributes
InvariantObject *	_inv_obj_ptr
	invariant object
InvariantObject *	_candidate_inv_ptr
	candidate invariants object
CexExtractor *	_cex_obj_ptr
	counterexample object

Detailed Description

Advanced parameters used for invariant synthesizer should not be used by generat NOTE: this function can be inherited and only expose a visible interface to the outside

---

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

• vtarget_gen.h