IntervalExample.cpp File Reference

An example how to use the general type interval with different instantiations. More...

#include <carl-arith/interval/Interval.h>
#include <carl-arith/numbers/numbers.h>

Include dependency graph for IntervalExample.cpp:

Go to the source code of this file.

Typedefs
typedef mpq_class	Rational
typedef mpz_class	Integer

Functions
int	main (int argc, char **argv)

Detailed Description

An example how to use the general type interval with different instantiations.

Author

Stefan Schupp stefa.nosp@m.n.sc.nosp@m.hupp@.nosp@m.cs.r.nosp@m.wth-a.nosp@m.ache.nosp@m.n.de

Since

2013-12-20

Version

2014-01-30

Definition in file IntervalExample.cpp.

Typedef Documentation

Integer

typedef mpz_class Integer

Definition at line 18 of file IntervalExample.cpp.

Rational

typedef mpq_class Rational

Definition at line 17 of file IntervalExample.cpp.

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 21 of file IntervalExample.cpp.

Here is the call graph for this function: