class ABSTRACT_BACKTRACKING_CUT_POINT
Summary
Overview
exported features
release
effective procedure
Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
get_twin: ABSTRACT_BACKTRACKING_CUT_POINT
effective function
Return a twin of current from the pool
pool: ABSTRACT_BACKTRACKING_POOL[ABSTRACT_BACKTRACKING_CUT_POINT]
deferred function
The pool that will record Current
once function
Bank of cut points