Struct TypeRef

Defined in File typecheck.h

Inheritance Relationships

Derived Types

public VAL::PTypeRef (Class PTypeRef)
public VAL::UTypeRef (Class UTypeRef)

Struct Documentation

struct TypeRef

Subclassed by VAL::PTypeRef, VAL::UTypeRef

Public Functions

inline virtual ~TypeRef()

virtual bool operator<(const TypeRef &t) const = 0

virtual bool operator>(const PTypeRef &p) const = 0

virtual bool operator>(const UTypeRef &u) const = 0

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

virtual TypeRef *clone() const = 0

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

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

inline virtual bool expected() const

inline virtual void addContents(TypeHierarchy *th) const

virtual void show() const = 0

virtual const pddl_type *operator*() const = 0