← Back to branch summary

~ubuntu-branches/ubuntu/saucy/ladr/saucy

« back to all changes in this revision

Viewing changes to ladr/discrimb.c

  • Committer: Package Import Robot
  • Author(s): Frank Lichtenheld
  • Date: 2013-05-25 11:43:32 UTC
  • mfrom: (5.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
Tags: 0.0.200911a-2
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ladr/discrimb.c
124
124
 
125
125
/*************
126
126
 *
 
127
 *     check_discrim_bind_tree(d, n)
 
128
 *
 
129
 *************/
 
130
 
 
131
/* DOCUMENTATION
 
132
*/
 
133
 
 
134
/* PUBLIC */
 
135
void check_discrim_bind_tree(Discrim d, int n)
 
136
{
 
137
  if (n > 0) {
 
138
    int arity;
 
139
    Discrim d1;
 
140
    for (d1 = d->u.kids; d1; d1 = d1->next) {
 
141
      if (DVAR(d1))
 
142
        arity = 0;
 
143
      else
 
144
        arity = sn_to_arity(d1->symbol);
 
145
      check_discrim_bind_tree(d1, n+arity-1);
 
146
    }
 
147
  }
 
148
}  /* check_discrim_bind_tree */
 
149
 
 
150
/*************
 
151
 *
127
152
 *     print_discrim_bind_tree(fp, d, n, depth)
128
153
 *
129
154
 *************/