/dports/cad/alliance/alliance/src/log/src/ |
H A D | log.h | 236 chain_list *lpAT; 286 extern chain_list * addListBdd __P((chain_list *pt, pNode pBdd)); 332 extern chain_list * notExpr __P((chain_list *expr)); 333 extern chain_list * createBinExpr __P((short oper, chain_list *expr1, chain_list *expr2)); 348 extern chain_list * mapCarExpr __P((chain_list *(*func)(), short oper, chain_list *expr)); 360 extern chain_list * copyExpr __P((chain_list *expr)); 362 extern chain_list * substExpr __P((chain_list *expr1, char *name, chain_list *expr2)); 363 extern chain_list * devXorExpr __P((chain_list *expr)); 364 extern chain_list * devXor2Expr __P((chain_list *expr)); 380 extern chain_list * simplif10Expr __P((chain_list *expr)); [all …]
|
H A D | log_prefbib.c | 107 chain_list * 119 chain_list * 138 chain_list * 162 chain_list * 710 chain_list * 992 chain_list * 1055 chain_list * 1083 chain_list * 1134 chain_list * 1172 chain_list * [all …]
|
/dports/cad/alliance/alliance/src/boog/src/ |
H A D | bog_lib_permute.c | 45 extern chain_list* dupchain(chain_list* pthead) in dupchain() 47 chain_list *chain; in dupchain() 69 static chain_list* dupablchain(chain_list* ablchain) in dupablchain() 85 extern chain_list *all_positions(chain_list* head_positions, chain_list* elem_chain, void* elem) in all_positions() 123 static chain_list *swapchain_aux(chain_list* head_swap, chain_list* elem_chain) in swapchain_aux() 125 chain_list *chain; in swapchain_aux() 152 extern chain_list *swapchain(chain_list* elem_chain) in swapchain() 163 static chain_list* composechain_aux(chain_list* elem_chain_chain) in composechain_aux() 202 extern chain_list* composechain(chain_list* elem_chain_chain) in composechain() 229 static chain_list *permutations_abl(chain_list* abl) in permutations_abl() [all …]
|
H A D | bog_lib_negativ.c | 44 extern chain_list* inv_oper(chain_list* abl, int negativ) in inv_oper() 46 chain_list* chain; in inv_oper() 58 ABL_ARITY_L(abl)=(chain_list*)1; in inv_oper() 67 else ABL_OPER_L(abl)=(chain_list*)ABL_NOR; in inv_oper() 72 else ABL_OPER_L(abl)=(chain_list*)ABL_NAND; in inv_oper() 76 else ABL_OPER_L(abl)=(chain_list*)ABL_NAND; in inv_oper() 81 else ABL_OPER_L(abl)=(chain_list*)ABL_NOR; in inv_oper() 101 ABL_ARITY_L(abl)=(chain_list*)1; in inv_oper() 124 extern chain_list* build_negativ(chain_list* abl) in build_negativ() 128 chain_list *leaf=NULL, *chain; in build_negativ() [all …]
|
H A D | bog_map_adapt.c | 49 extern void swap_pointers(chain_list* abl1, chain_list* abl2) in swap_pointers() 51 chain_list* cdr, *car; in swap_pointers() 67 chain_list *not; in invert_port() 88 ABL_ARITY_L(not)=(chain_list*)1; in invert_port() 115 ABL_ARITY_L(not)=(chain_list*)1; in invert_port() 139 static chain_list* loc_adapt_abl(chain_list* expr, float C) in loc_adapt_abl() 143 chain_list* abl; in loc_adapt_abl() 168 ABL_ARITY_L(expr)=(chain_list*)arity; /*put back arity*/ in loc_adapt_abl() 216 extern chain_list* adapt_abl(chain_list* expr) in adapt_abl() 220 chain_list* abl; in adapt_abl() [all …]
|
H A D | bog_lib_permute.h | 47 extern chain_list* dupchain __P ((chain_list* chain)); 54 extern chain_list *swapchain __P ((chain_list* elem_chain)); 61 extern chain_list* composechain __P ((chain_list* leaves_list)); 66 extern chain_list* different_abl __P ((befig_list* befig, chain_list* abl)); 71 extern chain_list* different_biabl __P ((befig_list* befig, biabl_list* biabl));
|
/dports/cad/alliance/alliance/src/loon/src/ |
H A D | lon_lib_permute.c | 48 chain_list* chain; in freechainchain() 60 static chain_list* dupchain(chain_list* pthead) in dupchain() 62 chain_list *chain; in dupchain() 63 chain_list *pred = NULL; in dupchain() 64 chain_list *first = NULL; in dupchain() 85 static chain_list *all_positions(chain_list* head, chain_list* elemchain, void* data) in all_positions() 118 static chain_list *swap(chain_list* head, chain_list* elemchain) in swap() 151 static chain_list* replace(chain_list* head, chain_list* port, chain_list* group) in replace() 201 static chain_list* compose(chain_list* port, chain_list* groupchain) in compose() 229 static chain_list* permute_variable(chain_list* head,chain_list* abl) in permute_variable() [all …]
|
/dports/cad/alliance/alliance/src/proof/src/ |
H A D | proof_util.h | 64 extern chain_list* berinToChain_list __P(( befig_list *beh )); 67 extern void displayExprLaxInt __P(( chain_list* expr )); 68 extern void displayExprLax __P(( chain_list* expr )); 69 extern chain_list* searchExprOutBeh __P(( befig_list* beh, char* name)); 70 extern void substExprBeh __P(( befig_list* beh, char* name, chain_list* sexpr)); 74 extern chain_list* AND2 __P(( chain_list* expr1, chain_list* expr2)); 75 extern chain_list* OR2 __P(( chain_list* expr1, chain_list* expr2)); 76 extern chain_list* sumBiabl __P(( biabl_list* biabl ));
|
/dports/cad/alliance/alliance/src/vex/src/ |
H A D | vexget.c | 155 static chain_list *VexGetHeadChain = (chain_list *)0; 319 chain_list *HeadList; 320 chain_list *NewChain; 534 chain_list *ScanOper; 566 chain_list *ScanOper; 615 chain_list *BitList; 659 chain_list *ScanOper; 748 chain_list *ScanOper; 809 chain_list *Support; in unionvexexprsupport() 857 chain_list *ScanOper; [all …]
|
H A D | vexis.c | 448 chain_list *ScanOper; 464 ScanOper != (chain_list *)0; 502 chain_list *ScanOper; 535 ScanOper != (chain_list *)0; 571 chain_list *ScanOper; 581 ScanOper != (chain_list *)0; 620 chain_list *ScanOper1; 621 chain_list *ScanOper2; 644 ( ScanOper2 != (chain_list *)0 ) ) 656 if ( ( ScanOper1 != (chain_list *)0 ) || [all …]
|
/dports/cad/alliance/alliance/src/boom/src/ |
H A D | boom_anneal.c | 108 chain_list *BddOrder; in BoomDupBddOrder() 110 chain_list *DupBddOrder; 111 chain_list *ScanChain; 112 chain_list *DupChain; 113 chain_list **PrevBddOrder; 115 DupBddOrder = (chain_list *)0; 151 chain_list *AnnealOrder; 152 chain_list *NewOrder; 153 chain_list *BestOrder; 203 BestOrder = (chain_list *)0; [all …]
|
H A D | boom_abl.c | 103 chain_list *Expr1; in BoomGiveBestExpr() 104 chain_list *Expr2; 171 chain_list *Equation; in BoomBddNode2Mux() 178 chain_list *Equation1; 179 chain_list *Equation2; 180 chain_list *Equation3; 388 chain_list *Atom; 389 chain_list *Cumul; 1405 chain_list *expr; 1409 chain_list *expr1; [all …]
|
/dports/cad/alliance/alliance/src/syf/src/ |
H A D | syf_fsm.h | 93 chain_list *ABL; 110 chain_list *ABL; 124 chain_list *ABL; 125 chain_list *ABL_OUT; 143 chain_list *ABL_TRANS; 158 chain_list *ABL; 169 chain_list *ABL_IN; 170 chain_list *ABL_SET; 171 chain_list *ABL_RESET; 172 chain_list *ABL; [all …]
|
H A D | syf_verify.c | 90 chain_list *Equation; 94 if ( Equation == (chain_list *)0 ) 138 chain_list *ScanChain; 139 chain_list *ScanNext; 244 chain_list *ScanChain; 305 chain_list *ScanChain; 393 chain_list *ScanChain; 550 chain_list *ScanChain; 868 chain_list *ScanChain; 869 chain_list *Support; [all …]
|
/dports/cad/alliance/alliance/src/vpn/src/ |
H A D | vpndel.c | 210 chain_list *ScanChain; 318 chain_list *ScanChain; 439 chain_list *ScanChain; 701 chain_list *ChainTrans; 702 chain_list *ChainPlace; 703 chain_list **PrevChain; 816 chain_list *ChainPlace; 817 chain_list *ChainTrans; 818 chain_list **PrevChain; 943 chain_list *ScanChain; [all …]
|
/dports/cad/alliance/alliance/src/fsm/src/ |
H A D | fsmdel.c | 240 chain_list *ScanChain; 241 chain_list **PrevChain; 264 ScanChain != (chain_list *)0; 324 chain_list *ScanChain; 325 chain_list **PrevChain; 419 chain_list *ChainTrans; 420 chain_list *ScanChain; 421 chain_list **PrevChain; 454 ChainTrans != (chain_list *)0; 495 ChainTrans != (chain_list *)0; [all …]
|
/dports/cad/alliance/alliance/src/vasy/src/ |
H A D | vasy_support.c | 89 static chain_list **VasySupport = (chain_list **)0; 90 static chain_list **VasyLiteral = (chain_list **)0; 91 static chain_list **VasyEvent = (chain_list **)0; 96 static chain_list *VasySupportBit = (chain_list *)0; 98 static chain_list *VasyEventBit = (chain_list *)0; 204 chain_list **Support; 205 chain_list **Literal; 206 chain_list **Event; 305 chain_list **Support; 371 chain_list **Support; [all …]
|
/dports/cad/alliance/alliance/src/bdd/src/ |
H A D | bddconvert.c | 72 static chain_list *BddConvertSumProd = (chain_list *)0; 138 chain_list *Equation; in loc_convertbddmux() 144 chain_list *EquationHigh; 145 chain_list *EquationLow; 255 chain_list *Equation; 277 chain_list *Equation; 278 chain_list *Atom; 460 chain_list *SumProd; 462 chain_list *Equation; 479 if ( SumProd != (chain_list *)0 ) [all …]
|
/dports/cad/alliance/alliance/src/mocha/src/ |
H A D | mocha_syf.h | 80 chain_list *ABL; 94 chain_list *ABL; 95 chain_list *ABL_OUT; 112 chain_list *ABL_TRANS; 126 chain_list *ABL; 137 chain_list *ABL_IN; 138 chain_list *ABL_SET; 139 chain_list *ABL_RESET; 140 chain_list *ABL;
|
/dports/cad/alliance/alliance/src/mbk/src/ |
H A D | mut.h | 128 chain_list; typedef 175 extern chain_list *HEAD_CHAIN; /* chain list buffer head */ 176 extern chain_list *HEAD_BLOCK_CHAIN; 247 #define addchain( a, b ) (chain_list*)fnaddchain(a,b,__LINE__,__FILE__) 249 #define addchain( a, b ) (chain_list*)fnaddchain(a,b,0,"") 253 extern chain_list * fnaddchain __P((chain_list *pthead, void *ptdata, int, char*)); 255 extern chain_list * addchain __P((chain_list *pthead, void *ptdata)); 258 extern chain_list * delchain __P((chain_list *pthead, chain_list *ptdel)); 259 extern void freechain __P((chain_list *pt)); 265 extern chain_list * append __P((chain_list *pt1, chain_list *pt2)); [all …]
|
H A D | parse_vti_l.c | 123 chain_list *FREE_HNS=NULL; 146 static int compare_alias_join __P(( lofig_list*, chain_list*, chain_list** )); 351 chain_list *head_join; 595 chain_list *headi; 697 chain_list *slist2 = (chain_list *)NULL, *pt; 699 chain_list *ptv; 1308 chain_list *scan; 1309 chain_list *head; 1565 chain_list **ext_join; 1688 chain_list *head; [all …]
|
H A D | spi_parse.h | 49 chain_list *CINTERF; /* DATA fiels : s_noeud */ 50 chain_list *FREE; 97 chain_list *IINTERF; 132 chain_list *GINTERF; /* DATA field : char* nom des locons */ 140 chain_list *decomp1; 141 chain_list *decomp2; 157 chain_list* lireligne __P(( spifile* )); 158 chain_list* decompligne __P(( spifile* )); 164 chain_list* recupereinterf __P(( char* )); 165 void loconinterf __P(( lofig_list*, chain_list* )); [all …]
|
/dports/cad/alliance/alliance/src/lynx/src/ |
H A D | parse.c | 70 chain_list *LynxScanEqui = (chain_list *)0; 87 chain_list *LynxEqui; in IsLynxScanEqui() 90 chain_list *Index; 95 Index != (chain_list *)0; 102 return ( Index != (chain_list *)0 ); 135 return ( LynxScanEqui != (chain_list *)0 ); in LynxParseEqui()
|
/dports/cad/alliance/alliance/src/aut/src/ |
H A D | autgraph.c | 241 chain_list *ScanArc; 242 chain_list **PrevChain; 243 chain_list *ScanChain; 253 ScanArc != (chain_list *)0; 288 ScanChain != (chain_list *)0; 293 PrevChain = (chain_list **)0; 338 chain_list **PrevChain; 339 chain_list *ScanChain; 346 ScanChain != (chain_list *)0; 353 if ( ScanChain != (chain_list *)0 ) [all …]
|
/dports/cad/alliance/alliance/src/ring/src/ |
H A D | posercircuit.h | 14 extern void remonte_con_circuit(chain_list *nom_plot[NB_FACES], 15 chain_list *liste_plotsph, BARRE_PLOTS tab_plots[NB_FACES], 17 char *nom_circuit_ph, chain_list *lst_conestouest); 19 extern void traite_equipo_ext(chain_list *nom_plot[NB_FACES], 20 chain_list *liste_plotsph, 25 chain_list *liste_plotsph, phfig_list *circuit_ph); 28 chain_list *lst_conestouest);
|