/// <summary>
/// Applies the mutex results.
/// </summary>
/// <param name="mutex">The mutex.</param>
private void ApplyMutexResults(Mutex mutex)
{
mutex.Evaluate();
DoIt(mutex.InferredFacts);
}
/// <summary>
/// Adds a mutex.
/// </summary>
/// <param name="m">The Mutex.</param>
public void AddMutex(Mutex m)
{
MutexNode new_production = new MutexNode(m.Label);
new_production.Mutex = m;
AddProduction(new_production, m.lhs);
m.MutexNode = new_production;
}
/// <summary>
/// Adds the mutex to the internal list of mutexes.
/// </summary>
/// <param name="mutex">The mutex.</param>
public void AddMutex(Mutex mutex)
{
_mutexesNew.Add(mutex);
}