class ABSTRACT_BACKTRACKING_GLOBALS

Features exported to INTERNALS_HANDLER

some globals

Direct parents

non-conformant parents

ANY

Known children

non-conformant children

ABSTRACT_BACKTRACKING, ABSTRACT_BACKTRACKING_CUT_POINT

Summary

exported features

Details

pool_of_cut_points: ABSTRACT_BACKTRACKING_POOL_OF_CUT_POINT

Bank of cut points