dlvhex
2.5.0
|
Process interface to DLV programs. More...
#include "dlvhex2/Process.h"
#include "dlvhex2/ProcessBuf.h"
#include "dlvhex2/PlatformDefinitions.h"
#include <iosfwd>
#include <vector>
#include <string>
#include <cassert>
Go to the source code of this file.
Data Structures | |
class | DLVProcess |
A wrapper process for the DLV/DLVDB ASP engine. More... |