#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/PluginInterface.h"
#include <boost/foreach.hpp>
#include <cctype>

Include dependency graph for ComfortPluginInterface.h:

This graph shows which files directly or indirectly include this file:

Data Structures
struct	ComfortTerm
	String-based term object (comfort interface). More...
struct	ComfortAtom
	String-based Atom object (comfort interface). More...
struct	ComfortLiteral
struct	ComfortInterpretation
class	ComfortPluginAtom
	String-based PluginAtom interface (comfort interface). More...
struct	ComfortPluginAtom::ComfortQuery
	Query class which provides the input of an external atom call. More...
Typedefs
typedef std::vector< ComfortTerm >	ComfortTuple
	Tuple of terms.

Typedef Documentation

Tuple of terms.

Definition at line 267 of file ComfortPluginInterface.h.

Data Structures