#ifndef BOOST_CONTRACT_HPP_ #define BOOST_CONTRACT_HPP_ // Copyright (C) 2008-2018 Lorenzo Caminiti // Distributed under the Boost Software License, Version 1.0 (see accompanying // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt). // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html /** @file Include all header files required by this library at once (for convenience). All header files boost/contract/\*.hpp are independent from one another and can be included one-by-one to reduce the amount of code to compile from this library in user code (but this was measured to not make an appreciable difference in compile-time so boost/contract.hpp can be included directly in most cases). Instead the headers boost/contract/core/\*.hpp are not independent from other library headers and they are automatically included by the boost/contract/\*.hpp headers (so the boost/contract/core/\*.hpp headers are usually not directly included by programmers). All files under the boost/contract/detail/ directory, names within the @c boost::contract::detail namespace, names prefixed by @c boost_contract_detail... and @c BOOST_CONTRACT_DETAIL... (in any namesapce, including user's code) are reserved for internal use of this library and should never be used directly by programmers. @see @RefSect{getting_started, Getting Started} */ #include #include #include #include #include #include #include #include #include #include #endif // #include guard