コード例 #1
0
ファイル: Function.cs プロジェクト: SergStas/DnfComparer
        public List <Edge> GetNuke()
        {
            List <Edge> result = new List <Edge>();

            foreach (Dot dot in NuclearDotsList)
            {
                if (!ExtraData.ListContainsEdge(new Sheaf(dot, this).Edges[0], result))
                {
                    result.Add(new Sheaf(dot, this).Edges[0]);
                }
            }
            return(result);
        }
コード例 #2
0
 public static bool EdgeIsRegular(Edge edge, Function function)
 {
     if (ExtraData.ListContainsEdge(edge, function.Nuke))
     {
         return(false);
     }
     if (function.ToString() == ("(0001111111111011)"))
     {
         edge = edge;
     }
     foreach (Dot dot in edge.DotList)
     {
         if (!DotIsRegular(dot, edge, function))
         {
             return(false);
         }
     }
     return(true);
 }