1 /*++
2 Copyright (c) 2007 Microsoft Corporation
3 
4 Module Name:
5 
6     z3_private.h
7 
8 Abstract:
9 
10     Z3 API.
11 
12 Author:
13 
14     Nikolaj Bjorner (nbjorner)
15     Leonardo de Moura (leonardo) 2007-06-8
16 
17 Notes:
18 
19 --*/
20 
21 #include<iostream>
22 #include "util/rational.h"
23 #include "api/z3_macros.h"
24 
25 #pragma once
26 
27 #ifdef __cplusplus
28 extern "C" {
29 #endif // __cplusplus
30 
31     bool Z3_API Z3_get_numeral_rational(Z3_context c, Z3_ast a, rational& r);
32 
33 #ifdef __cplusplus
34 };
35 #endif // __cplusplus
36 
37 
38