messaget::commandt Class Reference

#include <message.h>

Public Member Functions
	commandt (unsigned _command)

Public Attributes
unsigned	command

Detailed Description

Definition at line 308 of file message.h.

Constructor & Destructor Documentation

commandt()

messaget::commandt::commandt ( unsigned _command )

inlineexplicit

Definition at line 311 of file message.h.

Member Data Documentation

command

unsigned messaget::commandt::command

Definition at line 315 of file message.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/message.h