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

Module: Interval Analysis

Author: Daniel Kroening, kroening@kroening.com

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

/// \file
/// Interval Analysis

#ifndef CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
#define CPROVER_ANALYSES_INTERVAL_ANALYSIS_H

class goto_modelt;

void interval_analysis(goto_modelt &);

#endif // CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
