Searched defs:detectProblemType (Results 1 – 6 of 6) sorted by relevance
44 ProblemType detectProblemType(std::istream& in) { in detectProblemType() function
758 ProblemType ClaspFacade::detectProblemType(std::istream& str) { in detectProblemType() function in Clasp::ClaspFacade
785 ProblemType ClaspFacade::detectProblemType(std::istream& str) { in detectProblemType() function in Clasp::ClaspFacade