VIS
Data Fields

AbsVertexCatalog Struct Reference

Data Fields

lsList fixedPoints
lsList booleanOps
lsList negations
lsList preImages
lsList identifiers
lsList variables

Detailed Description

Struct**********************************************************************

Synopsis [A struct to keep list of subformulas to detect common subexpressions]

SeeAlso [AbsVerificationInfo]

Definition at line 37 of file absCatalog.c.

Field Documentation

lsList AbsVertexCatalog::booleanOps

Definition at line 39 of file absCatalog.c.

lsList AbsVertexCatalog::fixedPoints

Definition at line 38 of file absCatalog.c.

lsList AbsVertexCatalog::identifiers

Definition at line 42 of file absCatalog.c.

lsList AbsVertexCatalog::negations

Definition at line 40 of file absCatalog.c.

lsList AbsVertexCatalog::preImages

Definition at line 41 of file absCatalog.c.

lsList AbsVertexCatalog::variables

Definition at line 43 of file absCatalog.c.

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