Searched refs:factorsNnv (Results 1 – 4 of 4) sorted by relevance
1843 if (factorsNnv == NULL) { in BuildConjuncts()1850 factorsNnv = (freeNnv) ? FactorsUncomplement(factorsNnv) : factorsNnv; in BuildConjuncts()1851 cuddRef(factorsNnv->g); in BuildConjuncts()1852 cuddRef(factorsNnv->h); in BuildConjuncts()1868 factors = factorsNnv; in BuildConjuncts()1869 factorsNnv = factorsNv; in BuildConjuncts()1887 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()1901 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()1916 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()1933 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()[all …]
1799 if (factorsNnv == NULL) { in BuildConjuncts()1808 factorsNnv = (freeNnv) ? FactorsUncomplement(factorsNnv) : factorsNnv; in BuildConjuncts()1809 cuddRef(factorsNnv->g); in BuildConjuncts()1810 cuddRef(factorsNnv->h); in BuildConjuncts()1826 factors = factorsNnv; in BuildConjuncts()1827 factorsNnv = factorsNv; in BuildConjuncts()1845 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()1859 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()1874 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()1891 if (freeNnv) FREE(factorsNnv); in BuildConjuncts()[all …]
1847 if (factorsNnv == NULL) { in BuildConjuncts()1854 factorsNnv = (freeNnv) ? FactorsUncomplement(factorsNnv) : factorsNnv; in BuildConjuncts()1855 cuddRef(factorsNnv->g); in BuildConjuncts()1856 cuddRef(factorsNnv->h); in BuildConjuncts()1872 factors = factorsNnv; in BuildConjuncts()1873 factorsNnv = factorsNv; in BuildConjuncts()1891 if (freeNnv) ABC_FREE(factorsNnv); in BuildConjuncts()1905 if (freeNnv) ABC_FREE(factorsNnv); in BuildConjuncts()1920 if (freeNnv) ABC_FREE(factorsNnv); in BuildConjuncts()1937 if (freeNnv) ABC_FREE(factorsNnv); in BuildConjuncts()[all …]