cprover
Loading...
Searching...
No Matches
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 cmdlinetcommand_line

Detailed Description

Definition at line 106 of file cmdline.h.

Constructor & Destructor Documentation

◆ option_namest()

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

Definition at line 389 of file cmdline.cpp.

Member Function Documentation

◆ begin()

cmdlinet::option_namest::option_names_iteratort cmdlinet::option_namest::begin ( )

Definition at line 394 of file cmdline.cpp.

◆ end()

cmdlinet::option_namest::option_names_iteratort cmdlinet::option_namest::end ( )

Definition at line 399 of file cmdline.cpp.

Member Data Documentation

◆ command_line

const cmdlinet& cmdlinet::option_namest::command_line
private

Definition at line 146 of file cmdline.h.


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