dlvhex
2.5.0
|
#include <gringo/gringo.h>
#include <gringo/locateable.h>
Go to the source code of this file.
Data Structures | |
class | Term |
Stores terms. More... | |
class | Term::Ref |
class | Term::VecRef |
class | Term::PtrRef |
Namespaces | |
namespace | boost |
Functions | |
template<> | |
Term * | boost::new_clone (const Term &a) |