Todo List

Class ASPSolverManager::SoftwareConfiguration< SoftwareT >

concept check: SofwareT IS_A SoftwareBase?

Class DLVProcess

this class should have a name similar to DebuggingSupportChildProcess to really capture its purpose

Global DLVResultGrammar< Iterator >::DLVResultGrammar (ParserState &state)

: do not throw away weak answer set information but store it

Global EvalGraphBuilder::createEvalUnit (const std::list< Component > &comps, const std::list< Component > &ccomps)

add ordered unit dependencies

ComponentRange

Global PluginAtom::retrieveCached (const Query &query, Answer &answer, NogoodContainerPtr nogoods)

: efficiency could be increased for certain programs by considering pattern relationships as indicated above