Specifying flow values

class FlowVal
{
public:
  virtual void meet(const FlowVal * other) =0;
  virtual void to_top() =0;
  virtual FlowVal * clone() const =0;
  virtual bool diff(FlowVal * other) const =0;
};