Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Options.cpp File Reference

#include <string>
#include <cstdlib>
#include <iostream>
#include <climits>
#include "assert.hpp"
#include "Options.hpp"
#include "Random.hpp"

Functions

bool Option< Options::Mode >::set (const char *val)
bool Option< Options::Mode >::quotes () const
void Option< Options::Mode >::toStream (ostream &str) const
bool Option< Options::Statistics >::set (const char *val)
bool Option< Options::Statistics >::quotes () const
void Option< Options::Statistics >::toStream (ostream &str) const
bool Option< Options::MainAlg >::set (const char *val)
bool Option< Options::MainAlg >::quotes () const
void Option< Options::MainAlg >::toStream (ostream &str) const
bool Option< Options::Subsumption >::set (const char *val)
bool Option< Options::Subsumption >::quotes () const
void Option< Options::Subsumption >::toStream (ostream &str) const
bool Option< Options::Proof >::set (const char *val)
bool Option< Options::Proof >::quotes () const
void Option< Options::Proof >::toStream (ostream &str) const
bool Option< Options::SymbolPrecedence >::set (const char *val)
bool Option< Options::SymbolPrecedence >::quotes () const
void Option< Options::SymbolPrecedence >::toStream (ostream &str) const
bool Option< Options::TermWeightingScheme >::set (const char *val)
bool Option< Options::TermWeightingScheme >::quotes () const
void Option< Options::TermWeightingScheme >::toStream (ostream &str) const
bool Option< Options::Demodulation >::set (const char *val)
bool Option< Options::Demodulation >::quotes () const
void Option< Options::Demodulation >::toStream (ostream &str) const
bool Option< Options::LiteralComparisonMode >::set (const char *val)
bool Option< Options::LiteralComparisonMode >::quotes () const
void Option< Options::LiteralComparisonMode >::toStream (ostream &str) const
bool Option< Options::Selection >::set (const char *val)
bool Option< Options::Selection >::quotes () const
void Option< Options::Selection >::toStream (ostream &str) const
bool Option< Options::Splitting >::set (const char *val)
bool Option< Options::Splitting >::quotes () const
void Option< Options::Splitting >::toStream (ostream &str) const
bool Option< Options::SplittingStyle >::set (const char *val)
bool Option< Options::SplittingStyle >::quotes () const
void Option< Options::SplittingStyle >::toStream (ostream &str) const
bool Option< Options::SimplificationOrdering >::set (const char *val)
bool Option< Options::SimplificationOrdering >::quotes () const
void Option< Options::SimplificationOrdering >::toStream (ostream &str) const
bool Option< Options::InputSyntax >::set (const char *val)
bool Option< Options::InputSyntax >::quotes () const
void Option< Options::InputSyntax >::toStream (ostream &str) const

Variables

Optionsoptions = 0

Function Documentation

bool Option< Options::Demodulation >::quotes  )  const
 

bool Option< Options::Demodulation >::set const char *  val  ) 
 

void Option< Options::Demodulation >::toStream ostream &  str  )  const
 

bool Option< Options::InputSyntax >::quotes  )  const
 

bool Option< Options::InputSyntax >::set const char *  val  ) 
 

void Option< Options::InputSyntax >::toStream ostream &  str  )  const
 

bool Option< Options::LiteralComparisonMode >::quotes  )  const
 

bool Option< Options::LiteralComparisonMode >::set const char *  val  ) 
 

void Option< Options::LiteralComparisonMode >::toStream ostream &  str  )  const
 

bool Option< Options::MainAlg >::quotes  )  const
 

bool Option< Options::MainAlg >::set const char *  val  ) 
 

void Option< Options::MainAlg >::toStream ostream &  str  )  const
 

bool Option< Options::Mode >::quotes  )  const
 

bool Option< Options::Mode >::set const char *  val  ) 
 

void Option< Options::Mode >::toStream ostream &  str  )  const
 

bool Option< Options::Proof >::quotes  )  const
 

bool Option< Options::Proof >::set const char *  val  ) 
 

void Option< Options::Proof >::toStream ostream &  str  )  const
 

bool Option< Options::Selection >::quotes  )  const
 

bool Option< Options::Selection >::set const char *  val  ) 
 

void Option< Options::Selection >::toStream ostream &  str  )  const
 

bool Option< Options::SimplificationOrdering >::quotes  )  const
 

bool Option< Options::SimplificationOrdering >::set const char *  val  ) 
 

void Option< Options::SimplificationOrdering >::toStream ostream &  str  )  const
 

bool Option< Options::Splitting >::quotes  )  const
 

bool Option< Options::Splitting >::set const char *  val  ) 
 

void Option< Options::Splitting >::toStream ostream &  str  )  const
 

bool Option< Options::SplittingStyle >::quotes  )  const
 

bool Option< Options::SplittingStyle >::set const char *  val  ) 
 

void Option< Options::SplittingStyle >::toStream ostream &  str  )  const
 

bool Option< Options::Statistics >::quotes  )  const
 

bool Option< Options::Statistics >::set const char *  val  ) 
 

void Option< Options::Statistics >::toStream ostream &  str  )  const
 

bool Option< Options::Subsumption >::quotes  )  const
 

bool Option< Options::Subsumption >::set const char *  val  ) 
 

void Option< Options::Subsumption >::toStream ostream &  str  )  const
 

bool Option< Options::SymbolPrecedence >::quotes  )  const
 

bool Option< Options::SymbolPrecedence >::set const char *  val  ) 
 

void Option< Options::SymbolPrecedence >::toStream ostream &  str  )  const
 

bool Option< Options::TermWeightingScheme >::quotes  )  const
 

bool Option< Options::TermWeightingScheme >::set const char *  val  ) 
 

void Option< Options::TermWeightingScheme >::toStream ostream &  str  )  const
 


Variable Documentation

Options* options = 0
 


Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2