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);
}
public string GetSTDNFConsoleOutputString()
{
return(SigmaTDNFCreator.GetSTDNFConsoleOutputString(this));
}