Searched refs:BDD_SYSTEM (Results 1 – 18 of 18) sorted by relevance
91 setbddlocalsystem( TransRel->BDD_SYSTEM );141 TransRel->BDD_SYSTEM = BddLocalSystem;172 setbddlocalsystem( TransRel->BDD_SYSTEM );231 setbddlocalsystem( TransRel->BDD_SYSTEM );264 setbddlocalsystem( TransRel->BDD_SYSTEM );
204 setbddlocalsystem( TransFunc->BDD_SYSTEM );340 setbddlocalsystem( TransFunc->BDD_SYSTEM );379 TransFunc->BDD_SYSTEM = BddLocalSystem;580 setbddlocalsystem( TransFunc->BDD_SYSTEM );
83 bddsystem *BDD_SYSTEM; member108 bddsystem *BDD_SYSTEM; member
73 setbddlocalsystem( BddLocalCircuit->BDD_SYSTEM );181 BddSystem = BddCircuit->BDD_SYSTEM;
90 setbddlocalsystem( BddLocalCircuit->BDD_SYSTEM );151 setbddlocalsystem( BddLocalCircuit->BDD_SYSTEM );
706 VasyBddSystem = ProcInfo->BDD_SYSTEM;773 VasyBddSystem = ProcInfo->BDD_SYSTEM;808 VasyBddSystem = ProcInfo->BDD_SYSTEM;1147 ProcInfo->BDD_SYSTEM = BddSystem;1179 destroybddsystem( ProcInfo->BDD_SYSTEM );1185 ProcInfo->BDD_SYSTEM = (bddsystem *)0;
240 bddsystem *BDD_SYSTEM; member
621 BddSystem = ProcInfo->BDD_SYSTEM;
414 BddSystem = ProcInfo->BDD_SYSTEM;
101 bddsystem *BDD_SYSTEM; member
368 BddSystem = MochaFigure->BDD_SYSTEM;385 MochaFigure->BDD_SYSTEM = BddSystem;
323 BddSystem = BddCircuit->BDD_SYSTEM;572 BddSystem = BddCircuit->BDD_SYSTEM;954 BddSystem = BddCircuit->BDD_SYSTEM;
224 BddCircuit->BDD_SYSTEM = BddLocalSystem;335 setbddlocalsystem( BddLocalCircuit->BDD_SYSTEM );
234 BddLocalSystem = (C)->BDD_SYSTEM; } } while (0)531 bddsystem *BDD_SYSTEM; member
1375 BddSystem = BddCircuit->BDD_SYSTEM;1502 BddSystem = BddCircuit->BDD_SYSTEM;1614 BddSystem = BddCircuit->BDD_SYSTEM;
544 BddSystem = BddCircuit->BDD_SYSTEM;
782 BddSystem = BddCircuit->BDD_SYSTEM;
416 setbddlocalsystem( TransFunc->BDD_SYSTEM );