typedefs.hpp File Reference

Definition of common typedefs used in the pl_search library. More...

#include <memory>

Include dependency graph for typedefs.hpp:

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

Go to the source code of this file.

Namespaces
namespace	pl_search

Macros
#define	NEW_PRED   std::make_shared<Pred>
	Helper function to create a shared pointer to a Pred object.
#define	NEW_PVAR   std::make_shared<PVar>
	Helper functions to create shared pointers to Terms and subclasses.
#define	NEW_PINT   std::make_shared<PInt>
#define	NEW_PFLOAT   std::make_shared<PFloat>
#define	NEW_PATOM   std::make_shared<PAtom>
#define	NEW_CLIST   std::make_shared<CList>
#define	NEW_UPDATABLE_PVAR   std::make_shared<UpdatablePVar>

Typedefs
typedef std::shared_ptr< Pred >	pl_search::PredPtr
	Typedef for a shared pointer to a Pred object.
typedef std::shared_ptr< Term >	pl_search::TermPtr
	Typedefs for shared pointers to Terms and subclasses.
typedef std::shared_ptr< PVar >	pl_search::PVarPtr
typedef std::shared_ptr< PInt >	pl_search::PIntPtr
typedef std::shared_ptr< PFloat >	pl_search::PFloatPtr
typedef std::shared_ptr< PAtom >	pl_search::PAtomPtr
typedef std::shared_ptr< CList >	pl_search::CListPtr
typedef std::shared_ptr< UpdatablePVar >	pl_search::UpdatablePVarPtr

Detailed Description

Definition of common typedefs used in the pl_search library.

Macro Definition Documentation

NEW_CLIST

#define NEW_CLIST   std::make_shared<CList>

NEW_PATOM

#define NEW_PATOM   std::make_shared<PAtom>

NEW_PFLOAT

#define NEW_PFLOAT   std::make_shared<PFloat>

NEW_PINT

#define NEW_PINT   std::make_shared<PInt>

NEW_PRED

#define NEW_PRED   std::make_shared<Pred>

Helper function to create a shared pointer to a Pred object.

NEW_PVAR

#define NEW_PVAR   std::make_shared<PVar>

Helper functions to create shared pointers to Terms and subclasses.

NEW_UPDATABLE_PVAR

#define NEW_UPDATABLE_PVAR   std::make_shared<UpdatablePVar>