ilang::Yosys_problem Class Reference

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

#include <vtarget_gen_yosys.h>

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

Friends
class	VlgSglTgtGen_Yosys

Detailed Description

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

---

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

• vtarget_gen_yosys.h