#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