| 1 | /**CHeaderFile***************************************************************** |
|---|
| 2 | |
|---|
| 3 | FileName [rst.h] |
|---|
| 4 | |
|---|
| 5 | PackageName [rst] |
|---|
| 6 | |
|---|
| 7 | Synopsis [Restructuring package for restructuring the hierarchy] |
|---|
| 8 | |
|---|
| 9 | Description [This package provides the capability to restructure the user's |
|---|
| 10 | hierarchy. Currently only collapsing adjacent nodes is |
|---|
| 11 | provided. Parititioning FSMs is expected to be provided in the |
|---|
| 12 | future] |
|---|
| 13 | |
|---|
| 14 | Author [Desmond A. Kirkpatrick and Sriram Rajamani (with many thanks to Yuji Kukimoto)] |
|---|
| 15 | |
|---|
| 16 | Copyright [Copyright (c) 1994-1996 The Regents of the Univ. of California. |
|---|
| 17 | All rights reserved. |
|---|
| 18 | |
|---|
| 19 | Permission is hereby granted, without written agreement and without license |
|---|
| 20 | or royalty fees, to use, copy, modify, and distribute this software and its |
|---|
| 21 | documentation for any purpose, provided that the above copyright notice and |
|---|
| 22 | the following two paragraphs appear in all copies of this software. |
|---|
| 23 | |
|---|
| 24 | IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR |
|---|
| 25 | DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT |
|---|
| 26 | OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF |
|---|
| 27 | CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
|---|
| 28 | |
|---|
| 29 | THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES, |
|---|
| 30 | INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND |
|---|
| 31 | FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN |
|---|
| 32 | "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE |
|---|
| 33 | MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.] |
|---|
| 34 | |
|---|
| 35 | |
|---|
| 36 | ******************************************************************************/ |
|---|
| 37 | |
|---|
| 38 | #ifndef _RST |
|---|
| 39 | #define _RST |
|---|
| 40 | |
|---|
| 41 | /*---------------------------------------------------------------------------*/ |
|---|
| 42 | /* Nested includes */ |
|---|
| 43 | /*---------------------------------------------------------------------------*/ |
|---|
| 44 | #include "hrc.h" |
|---|
| 45 | /*---------------------------------------------------------------------------*/ |
|---|
| 46 | /* Constant declarations */ |
|---|
| 47 | /*---------------------------------------------------------------------------*/ |
|---|
| 48 | |
|---|
| 49 | |
|---|
| 50 | /*---------------------------------------------------------------------------*/ |
|---|
| 51 | /* Structure declarations */ |
|---|
| 52 | /*---------------------------------------------------------------------------*/ |
|---|
| 53 | |
|---|
| 54 | |
|---|
| 55 | /*---------------------------------------------------------------------------*/ |
|---|
| 56 | /* Type declarations */ |
|---|
| 57 | /*---------------------------------------------------------------------------*/ |
|---|
| 58 | |
|---|
| 59 | |
|---|
| 60 | /*---------------------------------------------------------------------------*/ |
|---|
| 61 | /* Variable declarations */ |
|---|
| 62 | /*---------------------------------------------------------------------------*/ |
|---|
| 63 | |
|---|
| 64 | |
|---|
| 65 | /*---------------------------------------------------------------------------*/ |
|---|
| 66 | /* Macro declarations */ |
|---|
| 67 | /*---------------------------------------------------------------------------*/ |
|---|
| 68 | |
|---|
| 69 | |
|---|
| 70 | /**AutomaticStart*************************************************************/ |
|---|
| 71 | |
|---|
| 72 | /*---------------------------------------------------------------------------*/ |
|---|
| 73 | /* Function prototypes */ |
|---|
| 74 | /*---------------------------------------------------------------------------*/ |
|---|
| 75 | |
|---|
| 76 | EXTERN void Rst_Init(void); |
|---|
| 77 | EXTERN void Rst_End(void); |
|---|
| 78 | EXTERN array_t* Rst_VartoVarLookup(array_t* VarArray, st_table* VartoVarOne, st_table* VartoVarTwo); |
|---|
| 79 | EXTERN array_t* Rst_GetNamesUntilNextOption(array_t* nameArray, int argc, char **argv); |
|---|
| 80 | EXTERN array_t* Rst_LoadNameArrayFromFile(array_t* nameArray, FILE* fp); |
|---|
| 81 | EXTERN Hrc_Model_t* Rst_GroupRestructureModel(Hrc_Manager_t* Hmgr, Hrc_Model_t* ParentModel, array_t* GroupArray); |
|---|
| 82 | EXTERN Hrc_Node_t* Rst_GroupRestructureNode(Hrc_Manager_t* Hmgr, Hrc_Node_t* CurNode, array_t* GroupArray); |
|---|
| 83 | EXTERN Hrc_Model_t* Rst_GroupGroupCombLogic(Hrc_Manager_t* Hmgr, Hrc_Model_t* CurModel); |
|---|
| 84 | EXTERN Hrc_Model_t* Rst_GroupGroupLatches(Hrc_Manager_t* Hmgr, Hrc_Model_t* CurModel); |
|---|
| 85 | EXTERN int Rst_CommandGroupComponents(Hrc_Manager_t** Hmgr, int argc, char ** argv); |
|---|
| 86 | |
|---|
| 87 | /**AutomaticEnd***************************************************************/ |
|---|
| 88 | |
|---|
| 89 | #endif /* _RST */ |
|---|