walter
utils.h File Reference
#include <cstdint>
#include <array>
#include <Eigen/Dense>
Include dependency graph for utils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Pose
 
struct  RobotInfo
 
struct  State
 
struct  State::RobotInfo
 
struct  State::PosInfo
 

Macros

#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)
 

Enumerations

enum  Level { LOWLEVEL = 0xFF, HIGHLEVEL = 0x00 }
 

Macro Definition Documentation

◆ CONCAT

#define CONCAT (   a,
 
)    CONCAT_INNER(a, b)

◆ CONCAT_INNER

#define CONCAT_INNER (   a,
 
)    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)

Enumeration Type Documentation

◆ Level

enum Level
Enumerator
LOWLEVEL 
HIGHLEVEL