static void Main(string[] args)
{
if (args.Length < 4)
{
Console.WriteLine("Usage: <input csv> <threshold> <min clique size> <max clique size>");
return;
}
string csv_filename = args[0];
double threshold = Convert.ToDouble(args[1]);
int min = Convert.ToInt32(args[2]);
int max = Convert.ToInt32(args[3]);
DateTime beforeRead = DateTime.Now;
CL_Graph g = new CL_Graph(threshold, csv_filename);
DateTime afterRead = DateTime.Now;
System.Collections.Generic.List<Set<int>> result = g.All_Cliques(min, max);
DateTime afterCalc = DateTime.Now;
foreach (Set<int> i in result)
{
if (i.Count >= min)
{
Console.WriteLine(SetToString(i));
}
}
Console.WriteLine();
Console.WriteLine("Read CSV file: " + (afterRead - beforeRead));
Console.WriteLine("Calculation: " + (afterCalc - afterRead));
}
static void Main(string[] args)
{
if (args.Length < 4)
{
Console.WriteLine("Usage: <input csv> <threshold> <min clique size> <max clique size>");
return;
}
string csv_filename = args[0];
double threshold = Convert.ToDouble(args[1]);
int min = Convert.ToInt32(args[2]);
int max = Convert.ToInt32(args[3]);
DateTime beforeRead = DateTime.Now;
CL_Graph g = new CL_Graph(threshold, csv_filename);
DateTime afterRead = DateTime.Now;
System.Collections.Generic.List <Set <int> > result = g.All_Cliques(min, max);
DateTime afterCalc = DateTime.Now;
foreach (Set <int> i in result)
{
if (i.Count >= min)
{
Console.WriteLine(SetToString(i));
}
}
Console.WriteLine();
Console.WriteLine("Read CSV file: " + (afterRead - beforeRead));
Console.WriteLine("Calculation: " + (afterCalc - afterRead));
}