Frobby  0.9.0
BigattiParams Member List

This is the complete list of members for BigattiParams, including all inherited members.

_pivotBigattiParamsprivate
_useGenericBaseCaseBigattiParamsprivate
_widenPivotBigattiParamsprivate
BigattiParams(const CliParams &cli)BigattiParams
CommonParams()CommonParams
getIdealIsMinimal() const CommonParamsinline
getInputFormat() const CommonParamsinline
getOutputFormat() const CommonParamsinline
getPivot() const BigattiParamsinline
getPrintActions() const CommonParamsinline
getPrintDebug() const CommonParamsinline
getPrintStatistics() const CommonParamsinline
getProduceCanonicalOutput() const CommonParamsinline
getUseGenericBaseCase() const BigattiParamsinline
getUseSimplification() const SliceLikeParamsinline
getWidenPivot() const BigattiParamsinline
idealIsMinimal(bool value)CommonParamsinline
printActions(bool value)CommonParamsinline
printDebug(bool value)CommonParamsinline
printStatistics(bool value)CommonParamsinline
produceCanonicalOutput(bool value)CommonParamsinline
setInputFormat(const string &value)CommonParamsinline
setOutputFormat(const string &value)CommonParamsinline
setPivot(const string &name)BigattiParamsinline
SliceLikeParams()SliceLikeParams
useGenericBaseCase(bool value)BigattiParamsinline
useSimplification(bool value)SliceLikeParamsinline
widenPivot(bool value)BigattiParamsinline