Frobby  0.9.5
Public Member Functions | Private Attributes | List of all members
SliceParams Class Reference

#include <SliceParams.h>

Inheritance diagram for SliceParams:
SliceLikeParams CommonParams

Public Member Functions

 SliceParams ()
 
 SliceParams (const CliParams &params)
 
const string & getSplit () const
 
void setSplit (const string &name)
 
bool getUseIndependenceSplits () const
 
void useIndependenceSplits (bool value)
 
bool getUseBoundElimination () const
 Returns whether to use branch-and-bound to speed up Slice optimization computations by eliminating non-improving slices. More...
 
void useBoundElimination (bool value)
 
bool getUseBoundSimplification () const
 Returns whether to simplify slices by seeking to generate non-improving slices that are then eliminated. More...
 
void useBoundSimplification (bool value)
 
- Public Member Functions inherited from SliceLikeParams
 SliceLikeParams ()
 
bool getUseSimplification () const
 Apply simplification to the state of the algorithm when possible. More...
 
void useSimplification (bool value)
 
- Public Member Functions inherited from CommonParams
 CommonParams ()
 
bool getIdealIsMinimal () const
 Returns whether the input ideal is known to be minimally generated. More...
 
void idealIsMinimal (bool value)
 
bool getPrintActions () const
 Returns whether to print and time the large-scale actions that Frobby performs. More...
 
void printActions (bool value)
 
const string & getInputFormat () const
 Returns the format used for parsing input. More...
 
void setInputFormat (const string &value)
 
const string & getOutputFormat () const
 Returns the format in which output is produced. More...
 
void setOutputFormat (const string &value)
 
bool getProduceCanonicalOutput () const
 Returns whether to produce output in a canonical representation. More...
 
void produceCanonicalOutput (bool value)
 
bool getPrintDebug () const
 Returns whether to print information about what the algorithm is doing to standard error as it runs. More...
 
void printDebug (bool value)
 
bool getPrintStatistics () const
 Returns whether to print statistics on what the algorithm did to standard error after it has run. More...
 
void printStatistics (bool value)
 

Private Attributes

string _split
 
bool _useIndependence
 
bool _useBoundElimination
 
bool _useBoundSimplification
 

Detailed Description

Definition at line 25 of file SliceParams.h.

Constructor & Destructor Documentation

◆ SliceParams() [1/2]

SliceParams::SliceParams ( )

Definition at line 25 of file SliceParams.cpp.

◆ SliceParams() [2/2]

SliceParams::SliceParams ( const CliParams params)

Definition at line 32 of file SliceParams.cpp.

Member Function Documentation

◆ getSplit()

const string& SliceParams::getSplit ( ) const
inline

Definition at line 30 of file SliceParams.h.

◆ getUseBoundElimination()

bool SliceParams::getUseBoundElimination ( ) const
inline

Returns whether to use branch-and-bound to speed up Slice optimization computations by eliminating non-improving slices.

Definition at line 38 of file SliceParams.h.

◆ getUseBoundSimplification()

bool SliceParams::getUseBoundSimplification ( ) const
inline

Returns whether to simplify slices by seeking to generate non-improving slices that are then eliminated.

This requires that elimination of non-improving slices is turned on.

Definition at line 44 of file SliceParams.h.

◆ getUseIndependenceSplits()

bool SliceParams::getUseIndependenceSplits ( ) const
inline

Definition at line 33 of file SliceParams.h.

◆ setSplit()

void SliceParams::setSplit ( const string &  name)
inline

Definition at line 31 of file SliceParams.h.

◆ useBoundElimination()

SliceParams & SliceParams::useBoundElimination ( bool  value)
inline

Definition at line 39 of file SliceParams.h.

◆ useBoundSimplification()

SliceParams & SliceParams::useBoundSimplification ( bool  value)
inline

Definition at line 45 of file SliceParams.h.

◆ useIndependenceSplits()

void SliceParams::useIndependenceSplits ( bool  value)
inline

Definition at line 34 of file SliceParams.h.

Member Data Documentation

◆ _split

string SliceParams::_split
private

Definition at line 48 of file SliceParams.h.

◆ _useBoundElimination

bool SliceParams::_useBoundElimination
private

Definition at line 50 of file SliceParams.h.

◆ _useBoundSimplification

bool SliceParams::_useBoundSimplification
private

Definition at line 51 of file SliceParams.h.

◆ _useIndependence

bool SliceParams::_useIndependence
private

Definition at line 49 of file SliceParams.h.


The documentation for this class was generated from the following files: