symbolic
|
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) |