abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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)