dlvhex  2.5.0
boost Namespace Reference

Data Structures

struct  range_mutable_iterator< Set< T > >
struct  range_const_iterator< Set< T > >

Functions

template<>
Termnew_clone (const Term &a)

Function Documentation

template<>
Term * boost::new_clone ( const Term a) [inline]

Definition at line 70 of file term.h.

References Term::clone().