ilang::smt::smtlib2_abstract_parser_wrapper Struct Reference

a wrapper of the abstract parser so it is okay to do crazy stuff More...

#include <chc_inv_in.h>

Public Attributes
smtlib2_abstract_parser	parser
	this is equivalent to its parent
SmtlibInvariantParser *	inv_parser
	a pointer to allow us to access to the object-oriented part

Detailed Description

a wrapper of the abstract parser so it is okay to do crazy stuff

---

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

• chc_inv_in.h