Searched defs:fWriteTruth (Results 1 – 1 of 1) sorted by relevance
965 int fWriteTruth; // writing truth table as a hex string 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()