formulavector.h

Go to the documentation of this file.

#ifndef formulavector_h
#define formulavector_h
 
#include "formula.h"
 
class FormulaVector {
public:
  FormulaVector() { size = 0; v = 0; };
  FormulaVector(int sz, Formula initial);
  FormulaVector(int sz, double initial);
  FormulaVector(const FormulaVector& initial);
  ~FormulaVector();
  void resize(int addsize, Keeper* keeper);
  void Delete(int pos, Keeper* keeper);
  int Size() const { return size; };
  Formula& operator [] (int pos) { return v[pos]; };
  const Formula& operator [] (int pos) const { return v[pos]; };
  void Inform(Keeper* keeper);
protected:
  int size;
  Formula* v;
};
 
#endif