Class PTypeRef

Defined in File typecheck.h

Inheritance Relationships

Base Type

public VAL::TypeRef (Struct TypeRef)

Class Documentation

class PTypeRef : public VAL::TypeRef 

Public Functions

inline PTypeRef(const pddl_type *p)

inline virtual bool operator<(const TypeRef &t) const

inline virtual bool operator>(const PTypeRef &p) const

inline virtual bool operator>(const UTypeRef &u) const

inline virtual bool operator==(const TypeRef &t) const

inline virtual bool operator==(const PTypeRef &p) const

inline virtual TypeRef *clone() const

inline virtual void show() const

inline virtual const pddl_type *operator*() const