cprover
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
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: