cprover_parse_optionst Class Reference

#include <cprover_parse_options.h>

Public Member Functions
int	main ()
	cprover_parse_optionst (int _argc, const char **_argv)

Protected Member Functions
void	help ()
	display command line help

Protected Attributes
int	argc
const char **	argv

Detailed Description

Definition at line 30 of file cprover_parse_options.h.

Constructor & Destructor Documentation

cprover_parse_optionst()

cprover_parse_optionst::cprover_parse_optionst ( int  _argc, const char **  _argv  )

inline

Definition at line 35 of file cprover_parse_options.h.

Member Function Documentation

help()

void cprover_parse_optionst::help ( )

protected

display command line help

Definition at line 307 of file cprover_parse_options.cpp.

main()

int cprover_parse_optionst::main

(

)

Definition at line 90 of file cprover_parse_options.cpp.

Member Data Documentation

argc

int cprover_parse_optionst::argc

protected

Definition at line 41 of file cprover_parse_options.h.

argv

const char** cprover_parse_optionst::argv

protected

Definition at line 42 of file cprover_parse_options.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/cprover_parse_options.h
• /home/runner/work/cbmc/cbmc/src/cprover/cprover_parse_options.cpp