/// <summary>
/// Called when [mutex node] is visited.
/// </summary>
/// <param name="node">The node.</param>
public override void OnMutexNode(MutexNode node)
{
_sb.Append(_indentString).AppendLine(string.Format("Mutex Node: {0}", node));
_sb.Append(_indentString).AppendLine("");
_sb.Append(_indentString).AppendLine(" ====== Inferred Facts ======");
foreach (Activation activation in node.Mutex.InferredFacts)
{
_sb.Append(_indentString).AppendLine(string.Format(" {0}", activation.InferredFact));
}
}
/// <summary>
/// Called when [mutex node] is visited.
/// </summary>
/// <param name="node">The node.</param>
public virtual void OnMutexNode(MutexNode node)
{
}
/// <summary>
/// Called when [mutex node] is visited.
/// </summary>
/// <param name="node">The node.</param>
public override void OnMutexNode(MutexNode node)
{
_sb.Append(_indentString).AppendLine(string.Format("Mutex Node: {0}", node));
_sb.Append(_indentString).AppendLine("");
_sb.Append(_indentString).AppendLine(" ====== Inferred Facts ======");
foreach (Activation activation in node.Mutex.InferredFacts)
{
_sb.Append(_indentString).AppendLine(string.Format(" {0}", activation.InferredFact));
}
}
/// <summary>
/// Called when [mutex node] is visited.
/// </summary>
/// <param name="node">The node.</param>
public virtual void OnMutexNode(MutexNode node)
{
}
