dlvhex
2.5.0
|
Data Structures | |
struct | range_mutable_iterator< Set< T > > |
struct | range_const_iterator< Set< T > > |
Functions | |
template<> | |
Term * | new_clone (const Term &a) |
Term * boost::new_clone | ( | const Term & | a | ) | [inline] |
Definition at line 70 of file term.h.
References Term::clone().