Namespace List

Here is a list of all namespaces with brief descriptions:

ASPSolver
benchmark
benchmark::nestingAware
benchmark::simple
bm
boost
CAUAlgorithms	Function templates related to Common Ancestor Units (CAUs)
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