ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Classes | Protected Attributes | Friends | List of all members
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: