ilang::smt::SmtTermInfo< T > Struct Template Reference

the type of term info that needs to be carried More...

#include <chc_inv_in.h>

Public Member Functions
	SmtTermInfo ()
	default constructor
	SmtTermInfo (const T &trans, const var_type &p, SmtlibInvariantParser *c)
	complete constructor

Public Attributes
T	_translate
	the corresponding translation (for verilog: std::string)
var_type	_type
	the type uptill now
SmtlibInvariantParser *	_context
	the context – all predefined datatypes/predicates/functions

Detailed Description

template<class T>
struct ilang::smt::SmtTermInfo< T >

the type of term info that needs to be carried

---

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

• chc_inv_in.h