dlvhex
2.5.0
|
Input stream provider (collects input sources) More...
#include "dlvhex2/PlatformDefinitions.h"
#include <boost/scoped_ptr.hpp>
#include <boost/shared_ptr.hpp>
#include <vector>
#include <string>
#include <iosfwd>
Go to the source code of this file.
Data Structures | |
class | InputProvider |
Abstractly provides input to dlvhex from various sources. More... | |
Typedefs | |
typedef boost::shared_ptr < InputProvider > | InputProviderPtr |
typedef boost::shared_ptr<InputProvider> InputProviderPtr |
Definition at line 97 of file InputProvider.h.