class Gecode::SearchAbortedError

An exception raised when a search has been aborted due to e.g. hitting the time limit specified when initiating the search.

new() click to toggle source

Calls superclass method

# File doc/tmp/rdoc_dev/gecoder/interface/search.rb, line 13
def initialize 
  super('The search was aborted before a solution could be found.')
end