Class violation_term

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::expression (Class expression)

Class Documentation

class violation_term : public VAL::expression 

Public Functions

inline violation_term(const char *n)

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline const string getName() const