[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
To use ITV in C, add
#include "itv.h" |
You should also link your object files with the ITV library to produce an executable, by adding something like `-L$(ITV_PREFIX)/li -litvmpq_debug' in the command line in your Makefile.
There are actually several variants of the library:
long long int
integers. This may cause overflows. These are
currently not detected.
double
. Overflows
are not possible (we use infinite floating numbers), but currently the
soundness is not ensured for all operations.
mpq_t
, the
multi-precision rationals from the GNU GMP library. Overflows are not
possible any more, but huge numbers may appear.
Also, all library are available in debug mode (`libitvmpq_debug.a', ...).