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

Opt Class Reference

#include <Options.hpp>

Inheritance diagram for Opt:

Option< C > List of all members.

Public Types

enum  Tag {
  MODE, TAB, INPUT_FILE, RANDOM_SEED,
  REMOVE_UNUSED_DEF, ARITY_CHECK, NO_FREE_VARS, MINISCOPE,
  OUTPUT_EQUALITY_INFIX, INCLUDE, STATISTICS, PROOF,
  INPUT_SYNTAX, OUTPUT_SYNTAX, SILENT, SHOW_GEN,
  SHOW_PASSIVE, SHOW_ACTIVE, SHOW_PREPRO, SHOW_PROFILE,
  SHOW_INPUT, SHOW_OPTIONS, SHOW_WEIGHT_LIMIT_CHANGES, MAIN_ALG,
  SPLITTING, SPLITTING_STYLE, SPLITTING_WITH_NAMING, SELECTION,
  FORWARD_SUBSUMPTION, BACKWARD_SUBSUMPTION, FORWARD_SUBSUMPTION_RESOLUTION, AGE_WEIGHT_RATIO,
  FORWARD_DEMODULATION, BACKWARD_DEMODULATION, ORPHAN_MURDER, FD_ON_SPLITTING_BRANCHES,
  BD_ON_SPLITTING_BRANCHES, INHERITED_NEGATIVE_SELECTION, SOS, NONGOAL_WEIGHT_COEFFICIENT,
  SELECTED_EQUALITY_WEIGHT_COEFFICIENT, PARAMODULATION, ELIM_DEF, LRS_FIRST_TIME_CHECK,
  LRS_FIRST_MEMORY_CHECK, MAX_INFERENCE_DEPTH, TIME_LIMIT, MEMORY_LIMIT,
  INEQUALITY_SPLITTING, NO_INFERENCES_BETWEEN_RULES, ALLOCATION_BUFFER_SIZE, ALLOCATION_BUFFER_PRICE,
  MAX_ACTIVE, MAX_PASSIVE, MAX_WEIGHT, LITERAL_COMPARISON_MODE,
  SYMBOL_PRECEDENCE, HEADER_PRECEDENCE_KINKY, MAX_SKOLEM, TEST_ID,
  TEST_NUMBER, SYMBOL_WEIGHT_BY_ARITY, TERM_WEIGHTING_SCHEME, SIMPLIFICATION_ORDERING
}

Public Member Functions

 Opt (Tag t, const char *nm, const char *srt)
virtual bool set (const char *val)=0
virtual void toStream (ostream &str) const=0
virtual bool quotes () const=0
const char * name () const
bool changed () const
void output (ostream &str) const
void toXML (ostream &str) const
void tabulate (ostream &str) const

Protected Attributes

const Tag _tag
const char * _name
const char * _short
bool _changed

Member Enumeration Documentation

enum Opt::Tag
 

Enumeration values:
MODE 
TAB 
INPUT_FILE 
RANDOM_SEED 
REMOVE_UNUSED_DEF 
ARITY_CHECK 
NO_FREE_VARS 
MINISCOPE 
OUTPUT_EQUALITY_INFIX 
INCLUDE 
STATISTICS 
PROOF 
INPUT_SYNTAX 
OUTPUT_SYNTAX 
SILENT 
SHOW_GEN 
SHOW_PASSIVE 
SHOW_ACTIVE 
SHOW_PREPRO 
SHOW_PROFILE 
SHOW_INPUT 
SHOW_OPTIONS 
SHOW_WEIGHT_LIMIT_CHANGES 
MAIN_ALG 
SPLITTING 
SPLITTING_STYLE 
SPLITTING_WITH_NAMING 
SELECTION 
FORWARD_SUBSUMPTION 
BACKWARD_SUBSUMPTION 
FORWARD_SUBSUMPTION_RESOLUTION 
AGE_WEIGHT_RATIO 
FORWARD_DEMODULATION 
BACKWARD_DEMODULATION 
ORPHAN_MURDER 
FD_ON_SPLITTING_BRANCHES 
BD_ON_SPLITTING_BRANCHES 
INHERITED_NEGATIVE_SELECTION 
SOS 
NONGOAL_WEIGHT_COEFFICIENT 
SELECTED_EQUALITY_WEIGHT_COEFFICIENT 
PARAMODULATION 
ELIM_DEF 
LRS_FIRST_TIME_CHECK 
LRS_FIRST_MEMORY_CHECK 
MAX_INFERENCE_DEPTH 
TIME_LIMIT 
MEMORY_LIMIT 
INEQUALITY_SPLITTING 
NO_INFERENCES_BETWEEN_RULES 
ALLOCATION_BUFFER_SIZE 
ALLOCATION_BUFFER_PRICE 
MAX_ACTIVE 
MAX_PASSIVE 
MAX_WEIGHT 
LITERAL_COMPARISON_MODE 
SYMBOL_PRECEDENCE 
HEADER_PRECEDENCE_KINKY 
MAX_SKOLEM 
TEST_ID 
TEST_NUMBER 
SYMBOL_WEIGHT_BY_ARITY 
TERM_WEIGHTING_SCHEME 
SIMPLIFICATION_ORDERING 


Constructor & Destructor Documentation

Opt::Opt Tag  t,
const char *  nm,
const char *  srt
[inline]
 


Member Function Documentation

bool Opt::changed  )  const [inline]
 

const char* Opt::name  )  const [inline]
 

Return the print name of this option.

void Opt::output ostream &  str  )  const
 

Output the option in a stream in the form name=value.

Since:
27/05/2003 Manchester
Parameters:
str the output stream

virtual bool Opt::quotes  )  const [pure virtual]
 

Implemented in Option< C >, Option< long >, Option< LiteralComparisonMode >, Option< Splitting >, Option< Statistics >, Option< Mode >, Option< InputSyntax >, Option< float >, Option< int >, Option< Subsumption >, Option< const char * >, Option< TermWeightingScheme >, Option< Selection >, Option< Proof >, Option< SymbolPrecedence >, Option< bool >, Option< SplittingStyle >, Option< MainAlg >, Option< SimplificationOrdering >, Option< Demodulation >, and Option< OutputSyntax >.

virtual bool Opt::set const char *  val  )  [pure virtual]
 

Implemented in Option< C >, Option< long >, Option< LiteralComparisonMode >, Option< Splitting >, Option< Statistics >, Option< Mode >, Option< InputSyntax >, Option< float >, Option< int >, Option< Subsumption >, Option< const char * >, Option< TermWeightingScheme >, Option< Selection >, Option< Proof >, Option< SymbolPrecedence >, Option< bool >, Option< SplittingStyle >, Option< MainAlg >, Option< SimplificationOrdering >, Option< Demodulation >, and Option< OutputSyntax >.

void Opt::tabulate ostream &  str  )  const
 

virtual void Opt::toStream ostream &  str  )  const [pure virtual]
 

Output the value of the option to a stream. Individually defined for each particular kind of option.

Parameters:
str the output stream

Implemented in Option< C >, Option< long >, Option< LiteralComparisonMode >, Option< Splitting >, Option< Statistics >, Option< Mode >, Option< InputSyntax >, Option< float >, Option< int >, Option< Subsumption >, Option< const char * >, Option< TermWeightingScheme >, Option< Selection >, Option< Proof >, Option< SymbolPrecedence >, Option< bool >, Option< SplittingStyle >, Option< MainAlg >, Option< SimplificationOrdering >, Option< Demodulation >, and Option< OutputSyntax >.

void Opt::toXML ostream &  str  )  const
 

Output the option in a stream in the XML syntax.

Since:
28/06/2003 Manchester
Parameters:
str the output stream


Member Data Documentation

bool Opt::_changed [protected]
 

const char* Opt::_name [protected]
 

const char* Opt::_short [protected]
 

const Tag Opt::_tag [protected]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2