source: vis_dev/cusp-1.1/src/aig/aigInt.h @ 18

Last change on this file since 18 was 12, checked in by cecile, 13 years ago

cusp added
File size: 2.9 KB
Line 
1/**CHeaderFile*****************************************************************
2
3  FileName    [AigInt.h]
4
5  PackageName [Aig]
6
7  Synopsis    []
8
9  Description [Internal data structures of the Aig package.]
10
11  SeeAlso     []
12
13  Author      [Mohammad Awedh]
14
15  Copyright [ This file was created at the University of Colorado at
16  Boulder.  The University of Colorado at Boulder makes no warranty
17  about the suitability of this software for any purpose.  It is
18  presented on an AS IS basis.]
19
20  Revision    [$Id: aigInt.h,v 1.1.1.1 2008-11-14 20:40:10 hhkim Exp $]
21
22******************************************************************************/
23
24#ifndef _AigINT
25#define _AigINT
26
27#include "util.h"
28#include "array.h"
29#include "aig.h"
30
31/*---------------------------------------------------------------------------*/
32/* Constant declarations                                                     */
33/*---------------------------------------------------------------------------*/
34
35/* Each node occupies 8 location.  The following describes these locations */
36
37/*---------------------------------------------------------------------------*/
38/* Type declarations                                                         */
39/*---------------------------------------------------------------------------*/
40
41/*---------------------------------------------------------------------------*/
42/* Structure declarations                                                    */
43/*---------------------------------------------------------------------------*/
44
45
46
47/*---------------------------------------------------------------------------*/
48/* Variable declarations                                                     */
49/*---------------------------------------------------------------------------*/
50
51
52/*---------------------------------------------------------------------------*/
53/* Macro declarations                                                        */
54/*---------------------------------------------------------------------------*/
55
56
57
58
59/**AutomaticStart*************************************************************/
60
61/*---------------------------------------------------------------------------*/
62/* Function prototypes                                                       */
63/*---------------------------------------------------------------------------*/
64
65EXTERN void AigSetPassFlag(Aig_Manager_t *manager, AigEdge_t node);
66EXTERN void AigResetPassFlag(Aig_Manager_t *manager, AigEdge_t node);
67EXTERN int AigGetPassFlag(Aig_Manager_t *manager, AigEdge_t node);
68EXTERN AigEdge_t AigCreateAndNode(Aig_Manager_t *manager, AigEdge_t node1, AigEdge_t node2);
69EXTERN int AigCheckInvariantWithAG( AigTransition_t *t, AigEdge_t objective);
70EXTERN void AigCleanUpDataFromPreviousExecution(AigTransition_t *t);
71EXTERN AigEdge_t AigBuildObjectiveFromFrontierSet(AigTransition_t *t);
72EXTERN void Aig_ComputeAX(AigTransition_t *t);
73
74
75/**AutomaticEnd***************************************************************/
76
77#endif /* _AigINT */
Note: See TracBrowser for help on using the repository browser.