src/sat/proof/pr.h File Reference
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Typedefs | |
| typedef struct Pr_Man_t_ | Pr_Man_t |
Typedef Documentation
CFile****************************************************************
FileName [pr.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Proof recording.]
Synopsis [External declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
- Id
- pr.h,v 1.00 2005/06/20 00:00:00 alanmi Exp
] INCLUDES /// PARAMETERS /// BASIC TYPES ///
