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

#include <kimits.h>

Collaboration diagram for delays:
Collaboration graph
[legend]

Public Attributes

delay bumpreasons
 
delay congruence
 
delay sweep
 
delay vivifyirr
 

Detailed Description

Definition at line 76 of file kimits.h.

Member Data Documentation

◆ bumpreasons

delay delays::bumpreasons

Definition at line 77 of file kimits.h.

◆ congruence

delay delays::congruence

Definition at line 78 of file kimits.h.

◆ sweep

delay delays::sweep

Definition at line 79 of file kimits.h.

◆ vivifyirr

delay delays::vivifyirr

Definition at line 80 of file kimits.h.

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