doxygen のコマンド

@invariant

不変表明

@pre

事前条件

@post

事後条件

今日ふと思いついてマニュアル見たらあった。これは使わないと。