CVC3  2.4.1
Classes | Namespaces | Enumerations
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.