#include <CommonParams.h>
Definition at line 25 of file CommonParams.h.
◆ CommonParams()
CommonParams::CommonParams |
( |
| ) |
|
◆ getIdealIsMinimal()
bool CommonParams::getIdealIsMinimal |
( |
| ) |
const |
|
inline |
Returns whether the input ideal is known to be minimally generated.
This option is off by default.
If the ideal is minimally generated, setting this option can improve performance. However, if this option is set and the ideal is not actually minimally generated, then Frobby will exhibit undefined behavior. Possibilities for what might happen include crashing, going into an infinite loop and producing incorrect results.
Definition at line 38 of file CommonParams.h.
◆ getInputFormat()
const string& CommonParams::getInputFormat |
( |
| ) |
const |
|
inline |
Returns the format used for parsing input.
Definition at line 47 of file CommonParams.h.
◆ getOutputFormat()
const string& CommonParams::getOutputFormat |
( |
| ) |
const |
|
inline |
Returns the format in which output is produced.
Definition at line 51 of file CommonParams.h.
◆ getPrintActions()
bool CommonParams::getPrintActions |
( |
| ) |
const |
|
inline |
Returns whether to print and time the large-scale actions that Frobby performs.
Definition at line 43 of file CommonParams.h.
◆ getPrintDebug()
bool CommonParams::getPrintDebug |
( |
| ) |
const |
|
inline |
Returns whether to print information about what the algorithm is doing to standard error as it runs.
Definition at line 61 of file CommonParams.h.
◆ getPrintStatistics()
bool CommonParams::getPrintStatistics |
( |
| ) |
const |
|
inline |
Returns whether to print statistics on what the algorithm did to standard error after it has run.
Definition at line 66 of file CommonParams.h.
◆ getProduceCanonicalOutput()
bool CommonParams::getProduceCanonicalOutput |
( |
| ) |
const |
|
inline |
Returns whether to produce output in a canonical representation.
Definition at line 56 of file CommonParams.h.
◆ idealIsMinimal()
void CommonParams::idealIsMinimal |
( |
bool |
value | ) |
|
|
inline |
◆ printActions()
void CommonParams::printActions |
( |
bool |
value | ) |
|
|
inline |
◆ printDebug()
void CommonParams::printDebug |
( |
bool |
value | ) |
|
|
inline |
◆ printStatistics()
void CommonParams::printStatistics |
( |
bool |
value | ) |
|
|
inline |
◆ produceCanonicalOutput()
void CommonParams::produceCanonicalOutput |
( |
bool |
value | ) |
|
|
inline |
◆ setInputFormat()
void CommonParams::setInputFormat |
( |
const string & |
value | ) |
|
|
inline |
◆ setOutputFormat()
void CommonParams::setOutputFormat |
( |
const string & |
value | ) |
|
|
inline |
◆ _idealIsMinimal
bool CommonParams::_idealIsMinimal |
|
private |
◆ _inputFormat
string CommonParams::_inputFormat |
|
private |
◆ _outputFormat
string CommonParams::_outputFormat |
|
private |
◆ _printActions
bool CommonParams::_printActions |
|
private |
◆ _printDebug
bool CommonParams::_printDebug |
|
private |
◆ _printStatistics
bool CommonParams::_printStatistics |
|
private |
◆ _produceCanonicalOutput
bool CommonParams::_produceCanonicalOutput |
|
private |
The documentation for this class was generated from the following files: