from init_exploration(explorer) explorer.search_first until explorer.is_off loop treat_solution(explorer) explorer.search_next endThe exploration is the enumeration of all the paths in an abstract structure made of alternatives or sequences of goals to satisfy.
+ stand-alone actions - replace the current state by an other state. - call 'backtrack': cancel the exploration of the current alternative and explore the next alternative. - call 'continue': explore the continuation of the current alternative. + actions that can be mixed but that need to be completed by one of the above actions - create a sequence of future path to evaluate and push it to the continuation path by calling 'push_sequence'. - create an alternative of future alternate path and push it to the alternative stack by calling 'push_alternative'. - push a cut point by calling 'push_cut_point'. - remove all alternatives until upper cut point by calling 'cut'. - remove all alternatives by calling 'cut_all'.