char rcsid_rule[] = "$Id$";

#include "b.h"
#include <stdio.h>

RuleNum max_rule;
int max_erule_num;

struct rule stub_rule;

List rules;

Rule
newRule(delta, erulenum, lhs, pat) DeltaPtr delta; ERuleNum erulenum; NonTerminal lhs; Pattern pat;
{
	Rule p;

	p = (Rule) zalloc(sizeof(struct rule));
	assert(p);
	ASSIGNCOST(p->delta, delta);
	p->erulenum = erulenum;
	if (erulenum > max_erule_num) {
		max_erule_num = erulenum;
	}
	p->num = max_rule++;
	p->lhs = lhs;
	p->pat = pat;

	rules = newList(p, rules);

	return p;
}

void
dumpRule(p) Rule p;
{
	dumpNonTerminal(p->lhs);
	printf(" : ");
	dumpPattern(p->pat);
	printf(" ");
	dumpCost(p->delta);
	printf("\n");
}

void
dumpRuleList(l) List l;
{
	foreachList((ListFn)dumpRule, l);
}