/// <summary>
/// Mutex_node_activations the specified node.
/// </summary>
/// <param name="node">The node.</param>
/// <param name="tok">The tok.</param>
/// <param name="w">The w.</param>
private void mutex_node_activation(MutexNode node, Token tok, WME w)
{
Token new_token = make_token(node, tok, w);
node.Items.Add(new_token);
}
/// <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;
}
