/* functions relating to the order defined on subcases */ void checkinterval(); /* does a subcase really correspond to an interval in the order? i.e. is it given by an initial segment of the choices having been made and all the remaining ones still open. (open choices being given by the value "unknown" for edges and degrees and by a range (i,j>i) for a choice as to whether the number of common neighbours of two vertices is exactly i) */ /* in the following functions the parameter(s) are assumed to be intervals */ void checkinitial(); /* does this interval start at the first possible subcase? (no edges, degrees minimum and no common neighbours) */ void checkfinal(); /* does this interval finish at the lasst possible subcase? (all edges, degrees maximum and maximum possible common neighbours) */ void checkfollows(); /* does the second of two intervals start immediately after the end of the first? */