z3-z3-4.13.0.src.api.z3_private.h Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

TurnKey artifact for Z3

The newest version!

/*++
Copyright (c) 2007 Microsoft Corporation

Module Name:

    z3_private.h

Abstract:

    Z3 API.

Author:

    Nikolaj Bjorner (nbjorner)
    Leonardo de Moura (leonardo) 2007-06-8

Notes:

--*/

#include "util/rational.h"
#include "api/z3_macros.h"

#pragma once

#ifdef __cplusplus
extern "C" {
#endif // __cplusplus

    bool Z3_API Z3_get_numeral_rational(Z3_context c, Z3_ast a, rational& r);

#ifdef __cplusplus
};
#endif // __cplusplus