// Class Name: characteristic_predicate
//
// Purpose:
//
//   A characteristic_predicate is a predicate logic expression that is used
//   to formally describe a ZENO specification part; it is used either in
//   the outcome, result, or modification section of the specification.

#ifndef CHARACTERISTIC_PREDICATE_CLASS
#define CHARACTERISTIC_PREDICATE_CLASS

#include "strings.h"

class characteristic_predicate
{
public:
  characteristic_predicate();
  virtual ~characteristic_predicate();

  string expression() const;
  void expression(const string &expr);

  void print() const;

private:
  string my_expression;
};

#endif