/******************************************************************************

 * Top contributors (to current version):

 *   Liana Hadarean, Mathias Preiner, Andrew Reynolds

 *

 * This file is part of the cvc5 project.

 *

 * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS

 * in the top-level source directory and their institutional affiliations.

 * All rights reserved.  See the file COPYING in the top-level source

 * directory for licensing information.

 * ****************************************************************************

 *

 * Bitvector theory.

 */

#include "cvc5_private.h"

#ifndef CVC5__THEORY__BV__SLICER_BV_H

#define CVC5__THEORY__BV__SLICER_BV_H

#include <string>

#include <vector>

#include "util/index.h"

namespace cvc5 {

namespace theory {

namespace bv {

/**

 * Base

 *

 */

  Index d_size;

  std::vector<uint32_t> d_repr;

public:

  Base(Index size);

  void sliceAt(Index index);

  bool isCutPoint(Index index) const;

  std::string debugPrint() const;

  bool operator==(const Base& other) const {

    if (other.d_size != d_size) return false;

    for (unsigned i = 0; i < d_repr.size(); ++i) {

      if (d_repr[i] != other.d_repr[i])

        return false;

    }

    return true;

  }

};

}  // namespace bv

}  // namespace theory

}  // namespace cvc5

#endif /* CVC5__THEORY__BV__SLICER_BV_H */