goto_cc_cmdlinet::argt Struct Reference

#include <goto_cc_cmdline.h>

Collaboration diagram for goto_cc_cmdlinet::argt:

Public Member Functions
	argt ()
	argt (const std::string &_arg)

Public Attributes
bool	is_infile_name
std::string	arg

Detailed Description

Definition at line 54 of file goto_cc_cmdline.h.

Constructor & Destructor Documentation

argt() [1/2]

goto_cc_cmdlinet::argt::argt ( )

inline

Definition at line 57 of file goto_cc_cmdline.h.

argt() [2/2]

goto_cc_cmdlinet::argt::argt ( const std::string &  _arg )

inlineexplicit

Definition at line 58 of file goto_cc_cmdline.h.

Member Data Documentation

arg

std::string goto_cc_cmdlinet::argt::arg

Definition at line 60 of file goto_cc_cmdline.h.

is_infile_name

bool goto_cc_cmdlinet::argt::is_infile_name

Definition at line 59 of file goto_cc_cmdline.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-cc/goto_cc_cmdline.h