45wfst_marks::wfst_marks(
int x)
52 p_mark_table =
new char *[
x];
55 p_mark_table[i] =
new char[i+1];
56 for (
j=0;
j < i+1;
j++)
57 p_mark_table[i][
j] =
'?';
62wfst_marks::~wfst_marks()
66 for (i=0; i < p_x; i++)
67 delete [] p_mark_table[i];
68 delete [] p_mark_table;
83 if (!distinguished(
j,i))
102 for (p=
assumptions.list.head(); p != 0; p=p->next())
140 for (p=
assumptions.list.head(); p != 0; p=p->next())
145 for (
q=b.head();
q != 0;
q=
q->next())
152 for (
q=b.head();
q != 0;
q=
q->next())
165 for (p=
assumptions.list.head(); p != 0; p=p->next())
169 for (
q=b.head();
q != 0;
q=
q->next())
void append(const T &item)
add item onto end of list