command_line_flags.h File Reference

#include <sstream>
#include <cstring>
#include <vector>
#include <map>
#include "command_line_exception.h"
#include "debug.h"

Go to the source code of this file.

Classes

• class CVC3::CLFlag
• class CVC3::CLFlags

Namespaces

• namespace CVC3

Enumerations

• enum CVC3::CLFlagType {
    CVC3::CLFLAG_NULL, CVC3::CLFLAG_BOOL, CVC3::CLFLAG_INT, CVC3::CLFLAG_STRING,
    CVC3::CLFLAG_STRVEC
  }

  Different types of command line flags.

  More...
  

---

Detailed Description

Author: Sergey Berezin

Created: Mon Feb 10 16:22:00 2003

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file command_line_flags.h.