_chrbstBacktrackPrio | CHR.Solve.MonoBacktrackPrio |
_chrbstFreshVar | CHR.Solve.MonoBacktrackPrio |
_chrbstMatchedCombis | CHR.Solve.MonoBacktrackPrio |
_chrbstReductionSteps | CHR.Solve.MonoBacktrackPrio |
_chrbstResidualQueue | CHR.Solve.MonoBacktrackPrio |
_chrbstRuleWorkQueue | CHR.Solve.MonoBacktrackPrio |
_chrbstSolveQueue | CHR.Solve.MonoBacktrackPrio |
_chrbstSolveSubst | CHR.Solve.MonoBacktrackPrio |
_chrbstWaitForVar | CHR.Solve.MonoBacktrackPrio |
_chrbstWorkStore | CHR.Solve.MonoBacktrackPrio |
_chrgstNextFreeRuleInx | CHR.Solve.MonoBacktrackPrio |
_chrgstScheduleQueue | CHR.Solve.MonoBacktrackPrio |
_chrgstStatNrSolveSteps | CHR.Solve.MonoBacktrackPrio |
_chrgstStore | CHR.Solve.MonoBacktrackPrio |
_chrgstTrace | CHR.Solve.MonoBacktrackPrio |
_chrgstVarToNmMp | CHR.Solve.MonoBacktrackPrio |