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