Class derivation_rule

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::structure_def (Class structure_def)

Class Documentation

class derivation_rule : public VAL::structure_def 

Public Functions

inline derivation_rule(proposition *p, goal *g, var_symbol_table *v)

inline var_symbol_table *get_vars() const

inline proposition *get_head() const

inline goal *get_body() const

inline void set_body(goal *g)

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline virtual ~derivation_rule()

virtual void display(int ind) const

inline virtual void add_to(operator_list *ops, derivations_list *drvs)