Options.h File Reference

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

Go to the source code of this file.

Data Structures
class	Minisat::Option
struct	Minisat::Option::OptionLt
struct	Minisat::IntRange
struct	Minisat::Int64Range
struct	Minisat::DoubleRange
class	Minisat::DoubleOption
class	Minisat::IntOption
class	Minisat::StringOption
class	Minisat::BoolOption

Namespaces
	Minisat

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