Interrupting

The ctrl-c sequence will enable the user to register a request of interruption of the current command. The demand will be treated next time a map is computed. The heap of already computed maps remains consistent.

This functionality allow to abort a command taking to much time. The best maps met so far will be kept into the heap and also you can keep on running commands.



Thomas Schiex 2009-10-27