Lines Matching defs:basis
224 struct config *bp; /* The next basis configuration */
255 struct config *bp; /* The basis configurations for this state */
307 int basisflag; /* Print only basis configurations */
787 /* The basis configuration set for the first state
813 /* Extract the sorted basis of the new state. The basis was constructed
818 /* Get a state with the same basis */
821 /* A state with the same basis already exists! Copy all the follow-set
839 stp->bp = bp; /* Remember the configuration basis */
889 ** following its dot, add the same configuration to the basis set under
901 /* Get a pointer to the state described by the basis configuration set
1147 static struct config *basis = 0; /* Top of list of basis configs */
1148 static struct config **basisend = 0; /* End of list of basis configs */
1180 basis = 0;
1181 basisend = &basis;
1190 basis = 0;
1191 basisend = &basis;
1223 /* Add a basis configuration to the configuration list */
1303 /* Sort the basis configuration list */
1305 basis = (struct config *)msort((char *)current,(char **)&(current->bp),Configcmp);
1324 old = basis;
1325 basis = 0;
1416 {OPT_FLAG, "b", (char*)&basisflag, "Print only the basis in report."},