Frobby 0.9.5
|
#include <ScarfParams.h>
Public Member Functions | |
ScarfParams (CliParams &cli) | |
bool | getDeformToStronglyGeneric () const |
Returns true if deforming to a strongly generic ideal. | |
void | setDeformToStronglyGeneric (bool value) |
const string & | getEnumerationOrder () const |
Returns the name of the enumeration ordering. | |
void | setEnumerationOrder (const string &name) |
const string & | getDeformationOrder () const |
Returns the name of the deformation ordering. | |
void | setDeformationOrder (const string &name) |
![]() | |
CommonParams () | |
bool | getIdealIsMinimal () const |
Returns whether the input ideal is known to be minimally generated. | |
void | idealIsMinimal (bool value) |
bool | getPrintActions () const |
Returns whether to print and time the large-scale actions that Frobby performs. | |
void | printActions (bool value) |
const string & | getInputFormat () const |
Returns the format used for parsing input. | |
void | setInputFormat (const string &value) |
const string & | getOutputFormat () const |
Returns the format in which output is produced. | |
void | setOutputFormat (const string &value) |
bool | getProduceCanonicalOutput () const |
Returns whether to produce output in a canonical representation. | |
void | produceCanonicalOutput (bool value) |
bool | getPrintDebug () const |
Returns whether to print information about what the algorithm is doing to standard error as it runs. | |
void | printDebug (bool value) |
bool | getPrintStatistics () const |
Returns whether to print statistics on what the algorithm did to standard error after it has run. | |
void | printStatistics (bool value) |
Private Attributes | |
bool | _deformStrong |
string | _enumerationOrder |
string | _deformationOrder |
Definition at line 27 of file ScarfParams.h.
ScarfParams::ScarfParams | ( | CliParams & | cli | ) |
Definition at line 36 of file ScarfParams.cpp.
Returns the name of the deformation ordering.
Definition at line 41 of file ScarfParams.h.
|
inline |
Returns true if deforming to a strongly generic ideal.
Returns false otherwise.
Definition at line 33 of file ScarfParams.h.
Returns the name of the enumeration ordering.
Definition at line 37 of file ScarfParams.h.
Definition at line 42 of file ScarfParams.h.
Definition at line 34 of file ScarfParams.h.
Definition at line 38 of file ScarfParams.h.
|
private |
Definition at line 47 of file ScarfParams.h.
|
private |
Definition at line 45 of file ScarfParams.h.
|
private |
Definition at line 46 of file ScarfParams.h.