C# (CSharp) SmartDNFComparer SigmaTDNFCreatorの例

コード例 #1

ファイル: Function.cs プロジェクト: SergStas/DnfComparer

 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);
 }

コード例 #2

ファイル: Function.cs プロジェクト: SergStas/DnfComparer

 public string GetSTDNFConsoleOutputString()
 {
     return(SigmaTDNFCreator.GetSTDNFConsoleOutputString(this));
 }