deferred class ABSTRACT_BACKTRACKING_POOL [X_ ->
ABSTRACT_BACKTRACKING_POOLABLE
]
All features