Namespace List

Here is a list of all namespaces with brief descriptions:

ASPSolver
benchmark
boost
CAUAlgorithms
dlvhex
DLVHEX_NAMESPACE_BEGIN	For one eval unit, we transform the rules (idb) independent of input interpretations as follows: * replace all external atoms with eatom replacements
evalheur
graphviz
impl
internal
internalgreedy