/// <summary>
/// Reiter’s HS-Tree Algorithm 1
/// </summary>
/// <param name="conflicts"></param>
/// <returns></returns>
private DiagnosisSet DiagnoseMainLoop(ConflictSet conflicts)
{
DiagnosisSet diagnosisSet = new DiagnosisSet();
List <HSTreePath> paths = new List <HSTreePath>();
List <HSTreeNode> newNodes = new List <HSTreeNode>();
List <HSTreeNode> nodesToExpand = HSHelper.ConvertConflictSetToNodes(conflicts);
//nodesToExpand.RemoveAt(1);
//Not sure if this should be empty or not....
//conflicts = new ConflictSet();
//conflicts.Conflicts = new List<Conflict>();
while (nodesToExpand.Count > 0)
{
newNodes = new List <HSTreeNode>();
HSTreeNode node = nodesToExpand[0];
nodesToExpand.RemoveAt(0);
for (int i = 0; i < node.Conflict.TheConflict.Count; i++)
{
Gate c = node.Conflict.TheConflict[i];
Expand(node, c, diagnosisSet, paths, conflicts, newNodes);
}
if (nodesToExpand.Count > 3000)
{
Debug.WriteLine("Nodes to expand over 3000! ignore this obs");
return(diagnosisSet);
}
//Adding new nodes
foreach (HSTreeNode nodeToAdd in newNodes)
{
bool foundSameNode = false;
foreach (HSTreeNode existingNode in nodesToExpand)
{
foundSameNode = existingNode.CompareTo(nodeToAdd) == 0;
if (foundSameNode)
{
break;
}
}
if (!foundSameNode)
{
nodesToExpand.Add(nodeToAdd);
}
}
//nodesToExpand.AddRange(newNodes);
}
return(diagnosisSet);
}
/// <summary>
/// Reiter’s HS-Tree Algorithm 1
/// </summary>
/// <param name="conflicts"></param>
/// <returns></returns>
private DiagnosisSet DiagnoseMainLoop(ConflictSet conflicts)
{
DiagnosisSet diagnosisSet = new DiagnosisSet();
List <HSTreePath> paths = new List <HSTreePath>();
List <HSTreeNode> newNodes = new List <HSTreeNode>();
List <HSTreeNode> nodesToExpand = HSHelper.ConvertConflictSetToNodes(conflicts);
//nodesToExpand.RemoveAt(1);
//Not sure if this should be empty or not....
//conflicts = new ConflictSet();
//conflicts.Conflicts = new List<Conflict>();
int size = 1;
int lastSize = 0;
while (size != lastSize ||
Process.GetCurrentProcess().Threads.OfType <ProcessThread>().Where(t => t.ThreadState == System.Diagnostics.ThreadState.Running).Count() != 1)
{
//for (int j = 0; j < (size - lastSize); j++)
Parallel.For(0, size - lastSize, j =>
{
HSTreeNode node = nodesToExpand[lastSize + j];
// Parallelize the outer loop to partition the source array by rows.
Parallel.For(0, node.Conflict.TheConflict.Count, i =>
{
Gate c = node.Conflict.TheConflict[i];
Expand(node, c, diagnosisSet, paths, conflicts, nodesToExpand);
}); // Parallel.For
});
lastSize = size;
/*
* for (int i = 0; i < nodesToExpand.Count; i++)
* {
* HSTreeNode node = nodesToExpand[i];
* System.Diagnostics.Debug.WriteLine(node.ToString());
* }*/
size = nodesToExpand.Count;
if (size - lastSize > 3000)
{
Debug.WriteLine("Nodes to expand over 3000! ignore this obs");
return(diagnosisSet);
}
}
return(diagnosisSet);
}
/// <summary>
/// Reiter’s HS-Tree Algorithm 1
/// </summary>
/// <param name="conflicts"></param>
/// <returns></returns>
private DiagnosisSet DiagnoseMainLoop(ConflictSet conflicts)
{
DiagnosisSet diagnosisSet = new DiagnosisSet();
List <HSTreePath> paths = new List <HSTreePath>();
List <HSTreeNode> newNodes = new List <HSTreeNode>();
List <HSTreeNode> nodesToExpand = HSHelper.ConvertConflictSetToNodes(conflicts);
//nodesToExpand.RemoveAt(1);
//Not sure if this should be empty or not....
//conflicts = new ConflictSet();
//conflicts.Conflicts = new List<Conflict>();
int size = 1;
int lastSize = 0;
while (size != lastSize ||
Process.GetCurrentProcess().Threads.OfType <ProcessThread>().Where(t => t.ThreadState == System.Diagnostics.ThreadState.Running).Count() != 1)
{
for (int j = 0; j < (size - lastSize); j++)
{
HSTreeNode node = nodesToExpand[lastSize + j];
for (int i = 0; i < node.Conflict.TheConflict.Count; i++)
{
Gate c = node.Conflict.TheConflict[i];
Thread thread = new Thread(() => Expand(node, c, diagnosisSet, paths, conflicts, nodesToExpand));
thread.Start();
}
}
lastSize = size;
/*
* for (int i = 0; i < nodesToExpand.Count; i++)
* {
* HSTreeNode node = nodesToExpand[i];
* System.Diagnostics.Debug.WriteLine(node.ToString());
* }*/
_waitEvent.WaitOne();
size = nodesToExpand.Count;
if (size - lastSize > 3000)
{
Debug.WriteLine("Nodes to expand over 3000! ignore this obs");
return(diagnosisSet);
}
}
return(diagnosisSet);
}
/// <summary>
/// Convert ConflictSet To List<HSTreeNode>
/// </summary>
/// <param name="conflicts"></param>
/// <returns></returns>
public static List <HSTreeNode> ConvertConflictSetToNodes(ConflictSet conflicts)
{
List <HSTreeNode> nodes = new List <HSTreeNode>();
foreach (Conflict con in conflicts.Conflicts)
{
HSTreeNode node = new HSTreeNode(con);
nodes.Add(node);
}
return(nodes);
}
/// <summary>
/// Reiter’s HS-Tree Algorithm 2
/// </summary>
/// <param name="existingNode"></param>
/// <param name="c"></param>
/// <param name="diagnosisSet"></param>
/// <param name="paths"></param>
/// <param name="conflicts"></param>
/// <param name="newNodes"></param>
private void Expand(HSTreeNode existingNode, Gate c, DiagnosisSet diagnosisSet, List <HSTreePath> paths, ConflictSet conflicts, List <HSTreeNode> newNodes)
{
HSTreePath newPathLabel = new HSTreePath(existingNode.PathLabel, c);
if (!HSHelper.IsSubsetOfPathDoesExitInDiagnosis(newPathLabel, diagnosisSet) &&
CheckAndAddPath(paths, newPathLabel))
{
HSTreeNode node = new HSTreeNode(newPathLabel);
Conflict S = HSHelper.IsAConflictExistConjWithPathLabelIsEmpty(conflicts, newPathLabel);
if (S != null)
{
node.Conflict = S;
}
else
{
//consistency checker, which tests if the new node is a diagnosis or returns a minimal conflict otherwise.
bool IsDiagnosis = ConstraintSystemSolver.Instance.CheckConsistensy(_observation, node.PathLabel.Path);
//If its not a diagnosis we add it as a conflict
if (!IsDiagnosis)
{
node.Conflict = new Conflict(node.PathLabel.Path);
}
}
lock (_expendLock)
{
if (node.Conflict != null && node.Conflict.TheConflict.Count > 0)
{
// Add if not exist
if (!newNodes.Any(e => e.CompareTo(node) == 0))
{
newNodes.Add(node);
}
// Add if not exist
if (!conflicts.Conflicts.Contains(node.Conflict))
{
conflicts.Conflicts.Add(node.Conflict);
}
}
else if (!HSHelper.IsSubsetOfPathDoesExitInDiagnosis(newPathLabel, diagnosisSet))
{
Diagnosis diagnosis = new Diagnosis(node.PathLabel.Path);
diagnosisSet.AddDiagnosis(diagnosis);
}
}
}
}
/// <summary>
/// Reiter’s HS-Tree Algorithm 2
/// </summary>
/// <param name="existingNode"></param>
/// <param name="c"></param>
/// <param name="diagnosisSet"></param>
/// <param name="paths"></param>
/// <param name="conflicts"></param>
/// <param name="newNodes"></param>
private void Expand(HSTreeNode existingNode, Gate c, DiagnosisSet diagnosisSet, List <HSTreePath> paths, ConflictSet conflicts, List <HSTreeNode> newNodes)
{
HSTreePath newPathLabel = new HSTreePath(existingNode.PathLabel, c);
if (!HSHelper.IsSubsetOfPathDoesExitInDiagnosis(newPathLabel, diagnosisSet) &&
CheckAndAddPath(paths, newPathLabel))
{
HSTreeNode node = new HSTreeNode(newPathLabel);
Conflict S = HSHelper.IsAConflictExistConjWithPathLabelIsEmpty(conflicts, newPathLabel);
if (S != null)
{
node.Conflict = S;
}
else
{
//consistency checker, which tests if the new node is a diagnosis or returns a minimal conflict otherwise.
bool IsDiagnosis = ConstraintSystemSolver.Instance.CheckConsistensy(_observation, node.PathLabel.Path);
//If its not a diagnosis we add it as a conflict
if (!IsDiagnosis)
{
node.Conflict = new Conflict(node.PathLabel.Path);
}
}
lock (_expendLock)
{
if (node.Conflict != null && node.Conflict.TheConflict.Count > 0)
{
// Add if not exist
if (!newNodes.Any(e => e.CompareTo(node) == 0))
{
newNodes.Add(node);
}
// Add if not exist
if (!conflicts.Conflicts.Contains(node.Conflict))
{
conflicts.Conflicts.Add(node.Conflict);
}
}
else if (!HSHelper.IsSubsetOfPathDoesExitInDiagnosis(newPathLabel, diagnosisSet))
{
Diagnosis diagnosis = new Diagnosis(node.PathLabel.Path);
diagnosisSet.AddDiagnosis(diagnosis);
for (int i = 0; i < diagnosisSet.Diagnoses.Count; i++)
{
Diagnosis d = diagnosisSet.Diagnoses[i];
/// path = {'a', 'b'} diagnosis.TheDiagnosis = {'a','b','c'} ===> Return true
/// path = {'a', 'b'} diagnosis.TheDiagnosis = {'a','c','d'} ===> Return false
if (d.TheDiagnosis.Count <= newPathLabel.Path.Count)
{
continue;
}
if (d.TheDiagnosis.Except(newPathLabel.Path).Any())
{
diagnosisSet.Diagnoses.RemoveAt(i);
i--;
}
}
}
}
}
_waitEvent.Set();
}
