[ 原始碼: boost-defaults ]
套件:libboost-contract-dev(1.83.0.2 以及其他的)
Contract library for C++ - dev files (default version)
This package forms part of the Boost C++ Libraries collection.
All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.
This package is a dependency package, which depends on Debian's default Boost version (currently 1.83).
其他與 libboost-contract-dev 有關的套件
|
|
|
|
-
- dep: libboost-contract1.83-dev
- Contract library for C++ - dev files