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

Public Attributes

int attrPendingSignalIndex
 
int attrHintSingalBeginningMarker
 
int attrHintSingalEndMarker
 
int attrSafetyInvarIndex
 

Detailed Description

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

FileName [disjunctiveMonotone.c]

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.

Member Data Documentation

◆ attrHintSingalBeginningMarker

int aigPoIndices::attrHintSingalBeginningMarker

Definition at line 34 of file disjunctiveMonotone.c.

◆ attrHintSingalEndMarker

int aigPoIndices::attrHintSingalEndMarker

Definition at line 35 of file disjunctiveMonotone.c.

◆ attrPendingSignalIndex

int aigPoIndices::attrPendingSignalIndex

Definition at line 33 of file disjunctiveMonotone.c.

◆ attrSafetyInvarIndex

int aigPoIndices::attrSafetyInvarIndex

Definition at line 36 of file disjunctiveMonotone.c.

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