1 /*++ 2 Copyright (c) 2012 Microsoft Corporation 3 4 Module Name: 5 6 api_polynomial.h 7 8 Abstract: 9 10 Polynomial manager and caches for the external API. 11 12 Author: 13 14 Leonardo de Moura (leonardo) 2012-12-08 15 16 Notes: 17 18 --*/ 19 #pragma once 20 21 #include "math/polynomial/polynomial.h" 22 23 namespace api { 24 25 class pmanager final { 26 unsynch_mpz_manager m_nm; 27 polynomial::manager m_pm; 28 // TODO: add support for caching expressions -> polynomial and back 29 public: 30 pmanager(reslimit& lim) : m_pm(lim, m_nm) {} 31 ~pmanager() {} 32 polynomial::manager & pm() { return m_pm; } 33 }; 34 35 }; 36 37