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

Module: Counterexample-Guided Inductive Synthesis

Author: Daniel Kroening, kroening@kroening.com
        Pascal Kesseli, pascal.kesseli@cs.ox.ac.uk

\*******************************************************************/

#ifndef UTIL_CONSTANT_WIDTH_H_
#define UTIL_CONSTANT_WIDTH_H_

#include <cstddef>

/**
 * @brief
 *
 * @details
 *
 * @param expr
 * @param full_width
 *
 * @return
 */
size_t get_min_word_width(const class exprt &expr);

#endif /* UTIL_CONSTANT_WIDTH_H_ */
