Options.h File Reference

#include <stdlib.h>
#include <stdio.h>
#include <math.h>
#include <string.h>
#include "sat/glucose/IntTypes.h"
#include "sat/glucose/Vec.h"
#include "sat/glucose/ParseUtils.h"

Include dependency graph for Options.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Gluco::Option
struct	Gluco::Option::OptionLt
struct	Gluco::IntRange
struct	Gluco::Int64Range
struct	Gluco::DoubleRange
class	Gluco::DoubleOption
class	Gluco::IntOption
class	Gluco::Int64Option
class	Gluco::StringOption
class	Gluco::BoolOption

Namespaces
namespace	Gluco

Macros
#define	__STDC_FORMAT_MACROS

Functions
void	Gluco::parseOptions (int &argc, char **argv, bool strict=false)
void	Gluco::printUsageAndExit (int argc, char **argv, bool verbose=false)
void	Gluco::setUsageHelp (const char *str)
void	Gluco::setHelpPrefixStr (const char *str)

Macro Definition Documentation

__STDC_FORMAT_MACROS

#define __STDC_FORMAT_MACROS

Definition at line 23 of file Options.h.