ilang::Relchc_problem Class Reference

a class to store (and generate) the problem for Relchc (Z3) More...

#include <vtarget_gen_relchc.h>

Protected Attributes
problemset_t	assumptions
	assumptions are not shared (unlike CoSA)
problemset_t	assertions
	problems are splitted into items

Friends
class	VlgSglTgtGen_Relchc

Detailed Description

a class to store (and generate) the problem for Relchc (Z3)

---

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

• vtarget_gen_relchc.h