Lines Matching refs:st_free_table

391 	st_free_table(approxTable);  in cuddSubsetHeavyBranch()
398     st_free_table(approxTable);  in cuddSubsetHeavyBranch()
402 	st_free_table(storeTable);  in cuddSubsetHeavyBranch()
409     st_free_table(storeTable);  in cuddSubsetHeavyBranch()
427     st_free_table(visitedTable);  in cuddSubsetHeavyBranch()
729 	    st_free_table(table);  in SubsetCountMintermAux()
745 	    st_free_table(table);  in SubsetCountMintermAux()
764 	    st_free_table(table);  in SubsetCountMintermAux()
805 	st_free_table(table);  in SubsetCountMinterm()
813 	st_free_table(table);  in SubsetCountMinterm()
822 	st_free_table(table);  in SubsetCountMinterm()
832 	st_free_table(table);  in SubsetCountMinterm()
942 	    st_free_table(table);  in SubsetCountNodesAux()
962 	    st_free_table(table);  in SubsetCountNodesAux()
989 	    st_free_table(table);  in SubsetCountNodesAux()
1004 	    st_free_table(table);  in SubsetCountNodesAux()