cmdlinet::option_namest Struct Reference

#include <cmdline.h>

Collaboration diagram for cmdlinet::option_namest:

Classes
struct	option_names_iteratort

Public Member Functions
	option_namest (const cmdlinet &command_line)
option_names_iteratort	begin ()
option_names_iteratort	end ()

Private Attributes
const cmdlinet &	command_line

Detailed Description

Definition at line 103 of file cmdline.h.

Constructor & Destructor Documentation

option_namest()

cmdlinet::option_namest::option_namest ( const cmdlinet &  command_line )

explicit

Definition at line 379 of file cmdline.cpp.

Member Function Documentation

begin()

cmdlinet::option_namest::option_names_iteratort cmdlinet::option_namest::begin

(

)

Definition at line 384 of file cmdline.cpp.

end()

cmdlinet::option_namest::option_names_iteratort cmdlinet::option_namest::end

(

)

Definition at line 389 of file cmdline.cpp.

Member Data Documentation

command_line

const cmdlinet& cmdlinet::option_namest::command_line

private

Definition at line 143 of file cmdline.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/cmdline.h
• /home/runner/work/cbmc/cbmc/src/util/cmdline.cpp