private void aggregator_node_activation(AggregatorNode node, Token tok, WME w)
{
Token new_token = make_token(node, tok, w);
node.Items.AddToFront(new_token);
}
/// <summary>
/// Adds the aggregator.
/// </summary>
/// <param name="m">The m.</param>
public void AddAggregator(Aggregator m)
{
AggregatorNode new_production = new AggregatorNode(m.Label);
new_production.Aggregator = m;
AddProduction(new_production, m.lhs);
m.AggregatorNode = new_production;
}