| /dports/cad/alliance/alliance/src/bdd/src/ |
| H A D | bddflag.c | 83 static void loc_flagbdd( BddNode ) in loc_flagbdd() argument
106 static void loc_unflagbdd( BddNode ) in loc_unflagbdd() argument
129 long flagbddnode( BddSystem, BddNode, Flag ) in flagbddnode() argument
151 long unflagbddnode( BddSystem, BddNode, Flag ) in unflagbddnode() argument
173 static void loc_getbddsize( BddNode ) in loc_getbddsize() argument
193 long getbddnodenum( BddSystem, BddNode ) in getbddnodenum() argument
212 long getbddnodesize( BddSystem, BddNode ) in getbddnodesize() argument
|
| H A D | bddsupport.c | 85 static void loc_getbddsupportptype( BddNode ) in loc_getbddsupportptype() argument
116 static void loc_getbddsupportchain( BddNode ) in loc_getbddsupportchain() argument
149 getbddnodesupport( bddsystem *BddSystem, bddnode *BddNode, int Mode ) in getbddnodesupport()
183 loc_isbddvarinsupport( bddnode *BddNode ) in loc_isbddvarinsupport()
223 isbddvarinsupport( bddsystem *BddSystem, bddnode *BddNode, bddvar Variable ) in isbddvarinsupport()
248 loc_getbddsupportsize( bddnode *BddNode ) in loc_getbddsupportsize()
278 getbddnodesupportsize( bddsystem *BddSystem, bddnode *BddNode ) in getbddnodesupportsize()
|
| H A D | bddref.c | 79 void updatebddref( BddNode ) in updatebddref() argument
100 bddnode *incbddrefext( BddNode ) in incbddrefext() argument
127 bddnode *incbddrefint( BddNode ) in incbddrefint() argument
154 bddnode *decbddrefext( BddNode ) in decbddrefext() argument
182 bddnode *decbddrefint( BddNode ) in decbddrefint() argument
202 bddnode *setbddrefext( BddNode ) in setbddrefext() argument
243 bddnode *unsetbddrefext( BddNode ) in unsetbddrefext() argument
332 bddnode *BddNode; local
380 bddnode *BddNode; local
|
| H A D | bddexist.c | 81 bddnode *loc_existbddnode( BddNode ) in loc_existbddnode() argument
145 bddnode *existbddnodeassoc( BddSystem, BddNode, BddAssoc ) in existbddnodeassoc() argument
174 bddnode *forallbddnodeassoc( BddSystem, BddNode, BddAssoc ) in forallbddnodeassoc() argument
205 bddnode *loc_existbddnodemiss( BddNode ) in loc_existbddnodemiss() argument
278 bddnode *existbddnodemissassoc( BddSystem, BddNode, BddAssoc ) in existbddnodemissassoc() argument
307 bddnode *forallbddnodemissassoc( BddSystem, BddNode, BddAssoc ) in forallbddnodemissassoc() argument
|
| H A D | bddsatisfy.c | 81 static bddnode *loc_satisfybdd( BddNode ) in loc_satisfybdd() argument
110 bddnode *satisfybddnode( BddSystem, BddNode ) in satisfybddnode() argument
135 static bddnode *loc_satisfybddassoc( BddNode ) in loc_satisfybddassoc() argument
179 bddnode *satisfybddnodeassoc( BddSystem, BddNode, BddAssoc ) in satisfybddnodeassoc() argument
|
| H A D | bddnode.c | 122 bddnode *BddNode; local
228 chain_list *addbddnodelist( BddSystem, HeadList, BddNode ) in addbddnodelist() argument
283 static void loc_delbdd( BddNode ) in loc_delbdd() argument
313 void delbddnode( BddSystem, BddNode ) in delbddnode() argument
368 void viewbddnode( BddSystem, BddNode ) in viewbddnode() argument
|
| H A D | bddapply.c | 79 bddnode *loc_applybddnot( BddNode ) in loc_applybddnot() argument
120 bddnode *applybddnodenot( BddSystem, BddNode ) in applybddnodenot() argument
140 bddnode *loc_applybddterm( Oper, Index, BddNode ) in loc_applybddterm() argument
194 bddnode *applybddnodeterm( BddSystem, Oper, Index, BddNode ) in applybddnodeterm() argument
223 bddnode *BddNode; local
456 bddnode *BddNode; local
|
| H A D | bddcompose.c | 85 static bddnode *loc_restrictbdd( BddNode ) in loc_restrictbdd() argument
138 bddnode *restrictbddnode( BddSystem, BddNode, Variable, BddSubst ) in restrictbddnode() argument
169 static bddnode *loc_composebdd( BddNode, BddSubst ) in loc_composebdd() argument
245 bddnode *composebddnode( BddSystem, BddNode, Variable, BddSubst ) in composebddnode() argument
|
| H A D | bddlog.c | 125 bddnode *getlogbddnodenot( BddNode ) in getlogbddnodenot() argument
153 ablexpr *convertlogbddnode( BddCircuit, BddNode ) in convertlogbddnode() argument
173 bddnode *BddNode; local
|
| H A D | bddcircuit.c | 329 bddnode *BddNode; local
426 bddnode *BddNode; local
477 bddnode *BddNode; local
582 bddnode *addbddcircuitout( BddCircuit, OutputName, BddNode ) in addbddcircuitout() argument
649 bddnode *BddNode; local
785 bddnode *BddNode; local
833 ablexpr *convertbddcircuitabl( BddCircuit, BddNode ) in convertbddcircuitabl() argument
857 ablexpr *convertbddcircuitsumabl( BddCircuit, BddNode ) in convertbddcircuitsumabl() argument
933 bddnode *BddNode; local
965 bddnode *BddNode; local
|
| H A D | bddfraction.c | 81 static double loc_fractionbdd( BddNode ) in loc_fractionbdd() argument
105 double fractionbddnode( BddSystem, BddNode ) in fractionbddnode() argument
|
| H A D | bddmark.c | 88 setbddnodemark( bddsystem *BddSystem, bddnode *BddNode ) in setbddnodemark()
102 testbddnodemark( bddsystem *BddSystem, bddnode *BddNode ) in testbddnodemark()
|
| H A D | bddconvert.c | 273 chain_list *loc_convertbddnode( BddNode ) in loc_convertbddnode() argument
436 chain_list *convertbddnodeabl( BddSystem, NameArray, IndexArray, BddNode ) in convertbddnodeabl() argument
457 void loc_convertbddnodesum( BddNode, SumProd ) in loc_convertbddnodesum() argument
523 chain_list *convertbddnodesumabl( BddSystem, NameArray, IndexArray, BddNode ) in convertbddnodesumabl() argument
|
| H A D | bddsubst.c | 81 static bddnode *loc_substbddnode( BddNode ) in loc_substbddnode() argument
157 bddnode *substbddnodeassoc( BddSystem, BddNode, BddAssoc ) in substbddnodeassoc() argument
|
| H A D | bddtest.c | 195 static void TestViewNodeExpr( BddNode ) in TestViewNodeExpr() argument
389 bddnode *BddNode; local
472 bddnode *BddNode; local
508 bddnode *BddNode; local
688 bddnode *BddNode; local
721 bddnode *BddNode; local
793 bddnode *BddNode; local
833 bddnode *BddNode; local
866 bddnode *BddNode; local
1707 bddnode *BddNode; local
[all …]
|
| H A D | bddheath.c | 79 bddheath *getbddheathvar( BddSystem, BddNode, Variable ) in getbddheathvar() argument
109 bddheath *getbddheath( BddSystem, BddNode ) in getbddheath() argument
|
| H A D | bddsimpdc.c | 86 bddnode *BddNode; local
209 bddnode *BddNode; local
|
| H A D | bddhnode.c | 148 long getbddhnodekey( Table, BddNode ) in getbddhnodekey() argument
163 long getbddhnodeindex( Table, BddNode, Index ) in getbddhnodeindex() argument
383 bddnode *addbddhnode( HashTable, BddNode ) in addbddhnode() argument
481 int delbddhnode( HashTable, BddNode ) in delbddhnode() argument
|
| /dports/cad/alliance/alliance/src/mocha/src/ |
| H A D | mocha_check.c | 405 bddnode *BddNode; local
564 bddnode *BddNode; local
620 bddnode *BddNode; local
867 bddnode *BddNode; local
911 bddnode *BddNode; local
955 bddnode *BddNode; local
1072 bddnode *BddNode; local
1112 bddnode *BddNode; local
1150 bddnode *BddNode; local
1233 bddnode *BddNode; local
[all …]
|
| H A D | mocha_bdd.c | 94 bddnode *BddNode; local
244 bddnode *BddNode; local
279 bddnode *BddNode; local
|
| /dports/cad/alliance/alliance/src/boom/src/ |
| H A D | boom_hash.c | 120 static long BoomGetHashAblKey( Table, BddNode ) in BoomGetHashAblKey() argument
231 boomhabl *BoomAddHashAbl( HashTable, BddNode, Equation ) in BoomAddHashAbl() argument
271 boomhabl *BoomSearchHashAbl( HashTable, BddNode ) in BoomSearchHashAbl() argument
|
| /dports/cad/alliance/alliance/src/vasy/src/ |
| H A D | vasy_vexbdd.c | 293 bddnode *BddNode; local
444 bddnode *BddNode; local
684 chain_list *VasyVexBddSupportVpnSymbol( VpnFigure, VpnProc, BddNode ) in VasyVexBddSupportVpnSymbol() argument
802 bddnode *BddNode; local
907 vexexpr *VasyVexBddConvertBdd2Vex( VpnFigure, VpnProc, BddNode ) in VasyVexBddConvertBdd2Vex() argument
946 bddnode *BddNode; local
975 bddnode *BddNode; local
1011 bddnode *BddNode; local
1052 bddnode *BddNode; local
1111 bddnode *BddNode; local
|
| /dports/cad/alliance/alliance/src/fks/src/ |
| H A D | fksdrive.c | 108 bddnode *BddNode; local
244 static void KissDriveBitString( BddNode ) in KissDriveBitString() argument
293 bddnode *BddNode; local
|
| /dports/cad/alliance/alliance/src/b2f/src/ |
| H A D | b2f_beh2fsm.c | 186 void B2fAddFsmCurrentState( BddNode ) in B2fAddFsmCurrentState() argument
251 void B2fAddFsmNextState( BddNode ) in B2fAddFsmNextState() argument
446 bddnode *BddNode; local
620 bddnode *BddNode; local
788 bddnode *BddNode; local
|
| /dports/cad/alliance/alliance/src/btr/src/ |
| H A D | main.c | 98 void BtrViewBddState( BddNode ) in BtrViewBddState() argument
131 void BtrViewBddNode( BddNode ) in BtrViewBddNode() argument
341 bddnode *BddNode; local
|