#include <cstdint>
#include <array>
#include <Eigen/Dense>
Go to the source code of this file.
|
| #define | CONCAT(a, b) CONCAT_INNER(a, b) |
| |
| #define | CONCAT_INNER(a, b) a ## b |
| |
| #define | Expects(x) boost::contract::check CONCAT(contract, __COUNTER__) = boost::contract::function().precondition([&] { BOOST_CONTRACT_ASSERT(x); }) |
| |
| #define | Ensures(x) boost::contract::check CONCAT(contract, __COUNTER__) = boost::contract::function().postcondition([&] { BOOST_CONTRACT_ASSERT(x); }) |
| |
| #define | sgn(x) (x > 0) - (x < 0) |
| |
◆ CONCAT
◆ CONCAT_INNER
| #define CONCAT_INNER |
( |
|
a, |
|
|
|
b |
|
) |
| a ## b |
◆ Ensures
| #define Ensures |
( |
|
x | ) |
boost::contract::check CONCAT(contract, __COUNTER__) = boost::contract::function().postcondition([&] { BOOST_CONTRACT_ASSERT(x); }) |
◆ Expects
| #define Expects |
( |
|
x | ) |
boost::contract::check CONCAT(contract, __COUNTER__) = boost::contract::function().precondition([&] { BOOST_CONTRACT_ASSERT(x); }) |
◆ sgn
| #define sgn |
( |
|
x | ) |
(x > 0) - (x < 0) |
◆ Level
| Enumerator |
|---|
| LOWLEVEL | |
| HIGHLEVEL | |