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() constCommonParamsinline
getInputFormat() constCommonParamsinline
getOutputFormat() constCommonParamsinline
getPivot() constBigattiParamsinline
getPrintActions() constCommonParamsinline
getPrintDebug() constCommonParamsinline
getPrintStatistics() constCommonParamsinline
getProduceCanonicalOutput() constCommonParamsinline
getUseGenericBaseCase() constBigattiParamsinline
getUseSimplification() constSliceLikeParamsinline
getWidenPivot() constBigattiParamsinline
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