Class UTypeRef

Defined in File typecheck.h

Inheritance Relationships

Base Type

public VAL::TypeRef (Struct TypeRef)

Class Documentation

class UTypeRef : public VAL::TypeRef 

Public Functions

inline UTypeRef(const pddl_type_list *ps)

inline UTypeRef()

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 UTypeRef &u) const

inline virtual TypeRef *clone() const

inline virtual bool expected() const

virtual void addContents(TypeHierarchy*) const

inline virtual void show() const

inline virtual const pddl_type *operator*() const