dlvhex  2.5.0
vs12/term.h File Reference
#include <gringo/gringo.h>
#include <gringo/locateable.h>
Include dependency graph for term.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<>
Termboost::new_clone (const Term &a)