public static List <Edge> GetSTDNFEdgeList(Function function)
{
List <Edge> result = ExtraData.CopyEdgeList(function.MaxEdgesList);
List <Edge> originalList = ExtraData.CopyEdgeList(result);
foreach (Edge edge in originalList)
{
if (EdgeIsRegular(edge, function))
{
result = ExtraData.RemoveEdgeFromList(result, edge);
}
}
return(result);
}
public static List <Edge> GetQDNFEdgeList(Function function)
{
List <Dot> coveredDots = GetCoveredByNukeDots(function);
List <Edge> result = ExtraData.CopyEdgeList(function.MaxEdgesList);
List <Edge> originalList = ExtraData.CopyEdgeList(result);
foreach (Edge edge in originalList)
{
if (EdgeIsCoveredByNuke(coveredDots, edge))
{
result = ExtraData.RemoveEdgeFromList(result, edge);
}
}
return(result);
}