Z3
doc/tmp/z3_polynomial.h
Go to the documentation of this file.
00001 /*++
00002 Copyright (c) 2012 Microsoft Corporation
00003 
00004 Module Name:
00005 
00006     z3_polynomial.h
00007 
00008 Abstract:
00009 
00010     Additional APIs for polynomials.
00011 
00012 Author:
00013 
00014     Leonardo de Moura (leonardo) 2012-12-09
00015 
00016 Notes:
00017     
00018 --*/
00019 
00020 #ifndef _Z3_POLYNOMIAL_H_
00021 #define _Z3_POLYNOMIAL_H_
00022 
00023 #ifdef __cplusplus
00024 extern "C" {
00025 #endif // __cplusplus
00026 
00033 
00034 
00039 
00050     Z3_ast_vector Z3_API Z3_polynomial_subresultants(__in Z3_context c, __in Z3_ast p, __in Z3_ast q, __in Z3_ast x);
00051 
00052 
00055 
00056 #ifdef __cplusplus
00057 };
00058 #endif // __cplusplus
00059 
00060 #endif
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines