class ABSTRACT_BACKTRACKING_GLOBALS
All features