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

Public Member Functions

 Type (const VAL::pddl_type *symbol)
 
const VAL::pddl_type * symbol () const
 
bool IsSubtype (const std::string &type) const
 
bool IsSubtype (const Type &type) const
 
std::vector< std::string > ListTypes () const
 
const std::string & name () const
 

Friends

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

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