ilang::Cosa_problem Class Reference

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

#include <vtarget_gen_cosa.h>

Protected Attributes
prop_t	assumptions
	assumptions are shared
problemset_t	probitem
	problems are splitted into items

Friends
class	VlgSglTgtGen_Cosa

Detailed Description

a class to store (and generate) the problem for cosa

---

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

• vtarget_gen_cosa.h