abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Cov_Obj_t_ Struct Reference

#include <cov.h>

Data Fields

Min_Cube_tpCover [3]
 
Vec_Int_tvSupp
 

Detailed Description

Definition at line 38 of file cov.h.

Field Documentation

Min_Cube_t* Cov_Obj_t_::pCover[3]

Definition at line 40 of file cov.h.

Vec_Int_t* Cov_Obj_t_::vSupp

Definition at line 41 of file cov.h.


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