contract/include/dbc at v0.1.55 - contract - Hak8or git mirror Repos

boost/contract

mirror of https://github.com/boostorg/contract.git synced 2026-01-25 06:02:16 +00:00

Files

History

Lorenzo Caminiti c21e2bd914 added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

..

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

assertion.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

base.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

body.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

config.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

copyable.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

exception.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

fun_macro.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

fun.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

invariant.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

loop.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

mparam.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

object.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

post.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

pp_define.hpp

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

README.txt

added all files for release 0.1.55

2017-08-28 21:01:03 -07:00

README.txt

Design by Contract for C++ (DbC++) header files.

DbC++ should be included only by #including "dbc.hpp" in parent directory. Do not include other header files separately.

This directory contains library API files.
The "detail" directory contains library implementation files.