Class PredWriter

• Defined in File DYNATranslator.h

Inheritance Relationships

Base Types

• public VAL::VisitController (Struct VisitController)

• public VAL::VisitController (Struct VisitController)

Class Documentation

class PredWriter : public VAL::VisitController, public VAL::VisitController

Public Functions

inline PredWriter(ostream &o)

virtual void visit_durative_action(const durative_action *d)

inline PredWriter(ostream &o)

virtual void visit_durative_action(const durative_action *d)