ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cinfo_tag Struct Reference

#include <exor.h>

Public Attributes

int nVarsIn
 
int nVarsOut
 
int nWordsIn
 
int nWordsOut
 
int nCubesAlloc
 
int nCubesBefore
 
int nCubesInUse
 
int nCubesFree
 
int nLiteralsBefore
 
int nLiteralsAfter
 
int QCostBefore
 
int QCostAfter
 
int cIDs
 
int Verbosity
 
int Quality
 
int nCubesMax
 
int fUseQCost
 
abctime TimeRead
 
abctime TimeStart
 
abctime TimeMin
 

Detailed Description

Definition at line 93 of file exor.h.

Member Data Documentation

◆ cIDs

int cinfo_tag::cIDs

Definition at line 107 of file exor.h.

◆ fUseQCost

int cinfo_tag::fUseQCost

Definition at line 112 of file exor.h.

◆ nCubesAlloc

int cinfo_tag::nCubesAlloc

Definition at line 99 of file exor.h.

◆ nCubesBefore

int cinfo_tag::nCubesBefore

Definition at line 100 of file exor.h.

◆ nCubesFree

int cinfo_tag::nCubesFree

Definition at line 102 of file exor.h.

◆ nCubesInUse

int cinfo_tag::nCubesInUse

Definition at line 101 of file exor.h.

◆ nCubesMax

int cinfo_tag::nCubesMax

Definition at line 111 of file exor.h.

◆ nLiteralsAfter

int cinfo_tag::nLiteralsAfter

Definition at line 104 of file exor.h.

◆ nLiteralsBefore

int cinfo_tag::nLiteralsBefore

Definition at line 103 of file exor.h.

◆ nVarsIn

int cinfo_tag::nVarsIn

Definition at line 95 of file exor.h.

◆ nVarsOut

int cinfo_tag::nVarsOut

Definition at line 96 of file exor.h.

◆ nWordsIn

int cinfo_tag::nWordsIn

Definition at line 97 of file exor.h.

◆ nWordsOut

int cinfo_tag::nWordsOut

Definition at line 98 of file exor.h.

◆ QCostAfter

int cinfo_tag::QCostAfter

Definition at line 106 of file exor.h.

◆ QCostBefore

int cinfo_tag::QCostBefore

Definition at line 105 of file exor.h.

◆ Quality

int cinfo_tag::Quality

Definition at line 110 of file exor.h.

◆ TimeMin

abctime cinfo_tag::TimeMin

Definition at line 116 of file exor.h.

◆ TimeRead

abctime cinfo_tag::TimeRead

Definition at line 114 of file exor.h.

◆ TimeStart

abctime cinfo_tag::TimeStart

Definition at line 115 of file exor.h.

◆ Verbosity

int cinfo_tag::Verbosity

Definition at line 109 of file exor.h.


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