Searched refs:Bdc_SpfdComputeCost (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/ |
| H A D | bdcSpfd.c | 787 int Bdc_SpfdComputeCost( word f, int i, Vec_Int_t * vWeights ) in Bdc_SpfdComputeCost() function
815 Cost = Bdc_SpfdComputeCost(Func & F1, i, vWeights); in Bdc_SpfdFindBest()
825 Cost = Bdc_SpfdComputeCost(Func & F0, i, vWeights); in Bdc_SpfdFindBest()
835 Cost = Bdc_SpfdComputeCost(~Func & F1, i, vWeights); in Bdc_SpfdFindBest()
845 Cost = Bdc_SpfdComputeCost(~Func & F0, i, vWeights); in Bdc_SpfdFindBest()
|