Home
last modified time | relevance | path

Searched refs:CostMin1 (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddImage.c879 int CostMin1, CostMin2, Cost; in Extra_FindBestPartitions() local
883 CostMin1 = CostMin2 = 1000000; in Extra_FindBestPartitions()
887 if ( CostMin1 > Cost ) in Extra_FindBestPartitions()
889 CostMin2 = CostMin1; iPart2 = iPart1; in Extra_FindBestPartitions()
890 CostMin1 = Cost; iPart1 = bTemp->index; in Extra_FindBestPartitions()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/
H A DbbrImage.c1016 int CostMin1, CostMin2, Cost; in Bbr_FindBestPartitions() local
1020 CostMin1 = CostMin2 = 1000000; in Bbr_FindBestPartitions()
1024 if ( CostMin1 > Cost ) in Bbr_FindBestPartitions()
1026 CostMin2 = CostMin1; iPart2 = iPart1; in Bbr_FindBestPartitions()
1027 CostMin1 = Cost; iPart1 = bTemp->index; in Bbr_FindBestPartitions()