Data Fields
int	attrPendingSignalIndex

int	attrHintSingalBeginningMarker

int	attrHintSingalEndMarker

int	attrSafetyInvarIndex

Detailed Description

CFile****************************************************************

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Liveness property checking.]

Synopsis [Constraint analysis module for the k-Liveness algorithm invented by Koen Classen, Niklas Sorensson.]

Author [Sayak Ray]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - October 31, 2012.]

Definition at line 31 of file disjunctiveMonotone.c.

Field Documentation

int aigPoIndices::attrHintSingalBeginningMarker

Definition at line 34 of file disjunctiveMonotone.c.

int aigPoIndices::attrHintSingalEndMarker

Definition at line 35 of file disjunctiveMonotone.c.

int aigPoIndices::attrPendingSignalIndex

Definition at line 33 of file disjunctiveMonotone.c.

int aigPoIndices::attrSafetyInvarIndex

Definition at line 36 of file disjunctiveMonotone.c.

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