Searched defs:simplifyClassifiedProgram (Results 1 – 3 of 3) sorted by relevance
146 ValueRep Preprocessor::simplifyClassifiedProgram(const HeadRange& atoms, bool more, VarVec& support… in simplifyClassifiedProgram() function in Clasp::Asp::Preprocessor