ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Glucose2_Pars_ Struct Reference

#include <AbcGlucose2.h>

Public Attributes

int pre
 
int verb
 
int cust
 
int nConfls
 

Detailed Description

Definition at line 46 of file AbcGlucose2.h.

Member Data Documentation

◆ cust

int Glucose2_Pars_::cust

Definition at line 49 of file AbcGlucose2.h.

◆ nConfls

int Glucose2_Pars_::nConfls

Definition at line 50 of file AbcGlucose2.h.

◆ pre

int Glucose2_Pars_::pre

Definition at line 47 of file AbcGlucose2.h.

◆ verb

int Glucose2_Pars_::verb

Definition at line 48 of file AbcGlucose2.h.

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