/* Title:   ValueSet.h
   Author:  Ruchira Sasanka
   Date:    Jun 30, 01
   Purpose: Contains a mathematical set of Values. LiveVarSet is derived from
            this. Contains both class and method definitions
*/

#ifndef VALUE_SET_H
#define VALUE_SET_H

#include <stdlib.h>

#include <hash_set>
#include <algorithm>
#include <fstream>
#include <iostream>

#include "llvm/Value.h"


//------------------------ Support functions ---------------------------------

struct hashFuncValue {                // sturcture containing the hash function. 
  inline size_t operator () (const Value *const val) const 
  { return (size_t) val;  }
};



//------------------- Class Definition for ValueSet ----------------------------

void printValue( const Value *const v);  // func to print a Value 



class ValueSet : public hash_set<const Value *,  hashFuncValue > 
{
 
 public:
  ValueSet();   // constructor

  inline void add(const Value *const  val) 
    { assert( val ); insert(val);}           // for adding a live variable to set

  inline void remove(const Value *const  val) 
    { assert( val ); erase(val); }       // for removing a live variable from set

  bool setUnion( const ValueSet *const set1);    // for performing two set unions
  void setSubtract( const ValueSet *const set1); // for performing set difference

                                                 // for performing set difference
  void setDifference( const ValueSet *const set1, const ValueSet *const set2); 
 
  void printSet() const;  // for printing a live variable set
};






#endif