bvinrange.hpp

Go to the documentation of this file.

#ifndef __BVINRANGE_HPP_DEFINED__
#define __BVINRANGE_HPP_DEFINED__

#include <ilasynth/ast/bitvec.hpp>
#include <ilasynth/ast/bool.hpp>
#include <ilasynth/ast/node.hpp>
#include <ilasynth/common.hpp>
#include <ilasynth/type.hpp>

namespace ilasynth {
class Abstraction;

class BVInRange : public BitvectorExpr {
protected:
  nptr_t lo;
  nptr_t hi;

public:
  // constructor.
  BVInRange(const std::string& name, const nptr_t& lo, const nptr_t& hi);
  // copy constructor.
  BVInRange(const BVInRange& that);
  // destructor.
  virtual ~BVInRange();

  // clone.
  virtual Node* clone() const;
  // equal.
  virtual bool equal(const Node* that) const;
  // stream output.
  virtual std::ostream& write(std::ostream& out) const;
  // # of args.
  virtual unsigned nArgs() const;
  // arg i.
  virtual nptr_t arg(unsigned i) const;
};
} // namespace ilasynth

#endif