#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:

src/base/exor/exor.h

Public Attributes