Searched refs:lev_of_lastauto (Results 1 – 2 of 2) sorted by relevance
111 int lev_of_lastauto; member5611 tv->lev_of_lastauto = tv->tolevel; in CheckForAutomorphisms()5831 tv->lev_of_lastauto = tv->tolevel; in CheckForSingAutomorphisms()6079 tv->lev_of_lastauto = tv->tolevel; in CheckForMatching()6523 if (tv->fromlevel <= tv->lev_of_lastauto) { in CompStage0()8506 tv->lev_of_lastauto = 0; in Initialize_Traces_Variables()
111 int lev_of_lastauto;5611 tv->lev_of_lastauto = tv->tolevel;5831 tv->lev_of_lastauto = tv->tolevel;6079 tv->lev_of_lastauto = tv->tolevel;6523 if (tv->fromlevel <= tv->lev_of_lastauto) {8506 tv->lev_of_lastauto = 0;