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

Module:

Author: Daniel Kroening, kroening@cs.cmu.edu

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

#ifndef CPROVER_RATIONAL_TOOLS_H
#define CPROVER_RAITONAL_TOOLS_H

#include "rational.h"
#include "expr.h"

bool to_rational(const exprt &expr, rationalt &rational_value);
bool from_rational(const rationalt &rational_value, exprt &expr);

#endif
