configuration container (previously global variables) More...
#include "dlvhex2/Configuration.h"
#include <iostream>
#include <stdexcept>
#include <cassert>
Go to the source code of this file.
configuration container (previously global variables)
Definition in file Configuration.cpp.