Class find_embedding::ProblemCancelledException

class ProblemCancelledException : public find_embedding::MinorMinerException