Esempio n. 1
0
 public Function(Dot[] dots)
 {
     Values               = dots;
     ValuesCount          = Values.Length;
     VarsCount            = (int)Math.Log2(ValuesCount);
     MaxEdgesList         = GetMaxEdges();
     NuclearDotsList      = GetNuclearDots();
     Nuke                 = GetNuke();
     QDNF                 = QuineDNFCreator.GetQDNFEdgeList(this);
     STDNF                = SigmaTDNFCreator.GetSTDNFEdgeList(this);
     QdnfAndStdnfAreEqual = ExtraData.EdgesListsAreEqual(QDNF, STDNF);
     KarnaughMap          = KarnaughMapCreator.GetKarnaughMapConsoleOutputString(this);
 }
Esempio n. 2
0
 public string GetQDNFConsoleOutputString()
 {
     return(QuineDNFCreator.GetQDNFConsoleOutputString(this));
 }