Class Type

Defined in File Type.h

Inheritance Relationships

Derived Type

public parser::pddl::EitherType (Class EitherType)

Class Documentation

class Type

Subclassed by parser::pddl::EitherType

Public Functions

inline Type()

inline Type(const std::string &s)

inline Type(const Type *t)

inline virtual ~Type()

inline virtual std::string getName() const

inline virtual void getSubTypesNames(std::vector<std::string> &typesNames) const

inline void insertSubtype(Type *t)

inline void copySubtypes(Type *t, const TokenStruct<Type*> &ts)

inline void print(std::ostream &stream) const

inline virtual void PDDLPrint(std::ostream &s) const

inline std::pair<bool, int> parseConstant(const std::string &object)

inline std::pair<bool, unsigned> parseObject(const std::string &object)

inline std::pair<std::string, int> object(int index)

inline unsigned noObjects()

inline unsigned noConstants()

inline virtual Type *copy()

Public Members

std::string name

TypeVec subtypes

Type *supertype

TokenStruct<std::string> constants

TokenStruct<std::string> objects