Lines Matching defs:ca
1498 struct carc *ca;
1533 ca = cnfa->arcs;
1536 cnfa->states[s->no] = ca;
1537 ca->co = 0; /* clear and skip flags "arc" */
1538 ca++;
1539 first = ca;
1543 ca->co = a->co;
1544 ca->to = a->to->no;
1545 ca++;
1549 ca->co = (color) (cnfa->ncolors + a->co);
1550 ca->to = a->to->no;
1551 ca++;
1559 carcsort(first, ca-1);
1560 ca->co = COLORLESS;
1561 ca->to = 0;
1562 ca++;
1564 assert(ca == &cnfa->arcs[narcs]);
1867 struct carc *ca,
1874 fprintf(f, "%d%s", st, (ca[0].co) ? ":" : ".");
1876 for (i = 1; ca[i].co != COLORLESS; i++) {
1877 if (ca[i].co < cnfa->ncolors) {
1878 fprintf(f, "\t[%ld]->%d", (long) ca[i].co, ca[i].to);
1880 fprintf(f, "\t:%ld:->%d", (long) ca[i].co-cnfa->ncolors,ca[i].to);