symbolic
Classes | Public Member Functions | Static Public Member Functions | Friends | List of all members
symbolic::Object Class Reference

Classes

class  Type
 

Public Member Functions

 Object (const Pddl &pddl, const VAL::pddl_typed_symbol *symbol)
 
 Object (const VAL::pddl_type_list *types, const VAL::pddl_typed_symbol *symbol)
 
 Object (const Pddl &pddl, const std::string &name_object)
 
const VAL::pddl_typed_symbol * symbol () const
 
const std::string & name () const
 
const Typetype () const
 
size_t hash () const
 

Static Public Member Functions

static std::vector< ObjectParseArguments (const Pddl &pddl, const std::string &atom)
 
static std::vector< ObjectParseArguments (const Pddl &pddl, const std::vector< std::string > &str_args)
 
template<typename T >
static std::vector< ObjectCreateList (const Pddl &pddl, const VAL::typed_symbol_list< T > *symbols)
 
template<typename T >
static std::vector< ObjectCreateList (const VAL::pddl_type_list *types, const VAL::typed_symbol_list< T > *symbols)
 

Friends

bool operator< (const Object &lhs, const Object &rhs)
 
bool operator== (const Object &lhs, const Object &rhs)
 
bool operator!= (const Object &lhs, const Object &rhs)
 
std::ostream & operator<< (std::ostream &os, const Object &object)
 

The documentation for this class was generated from the following files: