term.hh File Reference

Generic shared terms. More...

#include "constructor.hh"
#include <cassert>
#include <cstdlib>
#include "../strategies/failure.hh"
#include "../lists/listable.hh"
#include "../max_shared/max_shared_ptr.hh"
#include "../memory/pool_allocator.hh"

Include dependency graph for term.hh:

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

Go to the source code of this file.

Classes
struct	aurelia::untyped_term_core< Pool >
struct	aurelia::untyped_term< Pool >
struct	aurelia::listable_model< untyped_term< Pool > >
struct	aurelia::listable_model< untyped_term< Pool > >::model
struct	std::hash< aurelia::untyped_term< Pool > >
Namespaces
namespace	aurelia
	Main namespace for Aurelia.
namespace	std
	STL namespace.
Functions
template<typename Stream , typename Pool >
void	aurelia::print (Stream &s, const untyped_term< Pool > &t, bool inlist=false)
template<typename Stream , typename Pool >
Stream &	aurelia::operator<< (Stream &s, const untyped_term< Pool > &t)
template<typename T >
bool	aurelia::diff_no_conv (const T &a, const T &b)
template<typename T , typename U >
bool	aurelia::diff_no_conv (const T &a, const U &b)
template<typename Strat , typename T >
untyped_term< T >	aurelia::all_primitive (const Strat &s, const untyped_term< T > &term)

---

Detailed Description

Generic shared terms.