Searched defs:fSplitPrime (Results 1 – 1 of 1) sorted by relevance
964 int fSplitPrime; // represent prime function as 1-step DSD member1912 int Dau_DsdDecompose( word * pTruth, int nVarsInit, int fSplitPrime, int fWriteTruth, char * pRes ) in Dau_DsdDecompose()1936 int Dau_DsdDecomposeLevel( word * pTruth, int nVarsInit, int fSplitPrime, int fWriteTruth, char * p… in Dau_DsdDecomposeLevel()