klee::KCommandLine Class Reference

#include <SolverCmdLine.h>

Static Public Member Functions
static void	HideOptions (llvm::cl::OptionCategory &Category)
	Hide all options in the specified category. More...
static void	HideUnrelatedOptions (llvm::cl::OptionCategory &Category)
	Hide all options except the ones in the specified category. More...

Detailed Description

Definition at line 83 of file SolverCmdLine.h.

Member Function Documentation

HideOptions()

void klee::KCommandLine::HideOptions ( llvm::cl::OptionCategory &  Category )

static

Hide all options in the specified category.

Definition at line 116 of file SolverCmdLine.cpp.

References klee::SolvingCat.

HideUnrelatedOptions()

static void klee::KCommandLine::HideUnrelatedOptions ( llvm::cl::OptionCategory &  Category )

static

Hide all options except the ones in the specified category.

---

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

• /Users/cristic/klee/include/klee/Solver/SolverCmdLine.h
• /Users/cristic/klee/lib/Solver/SolverCmdLine.cpp