Searched defs:not_an_optimization_mode (Results 1 – 1 of 1) sorted by relevance
207 class not_an_optimization_mode : public internal_exception { class209 not_an_optimization_mode(Prolog_term_ref term, const char* where) in not_an_optimization_mode() function in Parma_Polyhedra_Library::Interfaces::Prolog::not_an_optimization_mode