CBMC: /home/runner/work/cbmc/cbmc/src/util/integer_interval.h Source File

CBMC
Loading...
Searching...
No Matches
integer_interval.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_UTIL_INTEGER_INTERVAL_H
11#define CPROVER_UTIL_INTEGER_INTERVAL_H
12
13#include "interval_template.h"
14#include "mp_arith.h"
15
16 using integer_intervalt = interval_templatet<mp_integer>;
17
18#endif // CPROVER_UTIL_INTEGER_INTERVAL_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566

AltStyle によって変換されたページ (->オリジナル) /