integer_interval.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_INTEGER_INTERVAL_H
#define CPROVER_UTIL_INTEGER_INTERVAL_H
 
#include "interval_template.h"
#include "mp_arith.h"
 
using integer_intervalt = interval_templatet<mp_integer>;
 
#endif // CPROVER_UTIL_INTEGER_INTERVAL_H