public ResponseModel Post([FromBody] WCNFModel value)
{
this._logger.LogInformation(LoggerEvents.RequestPassed, "Processing request ...");
string directoryPath = @"";
string fileFullPath;
Dictionary <int, string> dict;
(fileFullPath, dict) = CreateWCNFFile(value, directoryPath);
this._logger.LogInformation(LoggerEvents.FileCreated, "File created, file path: {PATH}", fileFullPath);
string output = Toulbar2Operations.RunToulbar2(fileFullPath, true, _logger);
// Creating response:
var response = new ResponseModel();
response.RawOutput = output;
int maxWeight = value.Functions.Select(x => x.Weight).Sum();
var rgx = new Regex(@"New solution: .*\n (.*)");
var rgx2 = new Regex(@"Optimum: (\d+) in (\d+) .* and (\d+\.?\d*)");
var match = rgx.Match(output);
if (match.Success)
{
string[] variables = match.Groups[1].Value.Split(" ");
int counter = 1;
foreach (string variable in variables)
{
int v = int.Parse(variable);
response.Variables.Add(new Variable()
{
Name = dict[counter], Value = v
});
counter++;
}
match = rgx2.Match(output);
if (match.Success)
{
int weight = 0;
int.TryParse(match.Groups[1].Value, out weight);
response.AccomplishementPercentage = (maxWeight - weight) / (double)maxWeight * 100;
int memory = 0;
int.TryParse(match.Groups[2].Value, out memory);
response.Memory = memory;
double time = 0;
double.TryParse(match.Groups[3].Value, out time);
response.Time = time;
}
}
else
{
response.RawOutput += "\nSolution not found!!!";
}
this._logger.LogInformation(LoggerEvents.ResponseCreated, "Succesfully created response");
return(response);
}
private (string, Dictionary <int, string>) CreateWCNFFile(WCNFModel value, string directoryPath)
{
var sb = new StringBuilder();
sb.AppendLine($"p wcnf {value.Variables.Count} {value.Functions.Count}");
var variablesMap = new Dictionary <string, int>();
var reverseVariablesMap = new Dictionary <int, string>();
int counter = 1;
foreach (string v in value.Variables)
{
variablesMap.Add(v, counter);
reverseVariablesMap.Add(counter, v);
counter++;
}
foreach (Function f in value.Functions)
{
sb.Append($"{f.Weight} ");
string[] args = f.Content.Split(" ");
foreach (string arg in args)
{
if (arg[0].Equals('-'))
{
sb.Append($"{-variablesMap[arg.Substring(1)]} ");
}
else
{
sb.Append($"{variablesMap[arg]} ");
}
}
sb.AppendLine("0");
}
Random random = new Random();
string fileFullPath = $"{directoryPath}{random.Next(10000)}tmp.wcnf";
Console.WriteLine($"Sciezka pliku: {fileFullPath}");
System.IO.File.WriteAllText(fileFullPath, sb.ToString());
return(fileFullPath, reverseVariablesMap);
}
