Home
last modified time | relevance | path

Searched refs:chain_list (Results 1 – 25 of 491) sorted by relevance

12345678910>>...20

/dports/cad/alliance/alliance/src/log/src/
H A Dlog.h236 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 Dlog_prefbib.c107 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 Dbog_lib_permute.c45 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 Dbog_lib_negativ.c44 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 Dbog_map_adapt.c49 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 Dbog_lib_permute.h47 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 Dlon_lib_permute.c48 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 Dproof_util.h64 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 Dvexget.c155 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 Dvexis.c448 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 Dboom_anneal.c108 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 Dboom_abl.c103 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 Dsyf_fsm.h93 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 Dsyf_verify.c90 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 Dvpndel.c210 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 Dfsmdel.c240 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 Dvasy_support.c89 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 Dbddconvert.c72 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 Dmocha_syf.h80 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 Dmut.h128 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 Dparse_vti_l.c123 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 Dspi_parse.h49 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 Dparse.c70 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 Dautgraph.c241 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 Dposercircuit.h14 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);

12345678910>>...20