BigattiParams Member List

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

_idealIsMinimal | CommonParams | private
_inputFormat | CommonParams | private
_outputFormat | CommonParams | private
_pivot | BigattiParams | private
_printActions | CommonParams | private
_printDebug | CommonParams | private
_printStatistics | CommonParams | private
_produceCanonicalOutput | CommonParams | private
_useGenericBaseCase | BigattiParams | private
_useSimplification | SliceLikeParams | private
_widenPivot | BigattiParams | private
BigattiParams(const CliParams &cli) | BigattiParams |
CommonParams() | CommonParams |
getIdealIsMinimal() const | CommonParams | inline
getInputFormat() const | CommonParams | inline
getOutputFormat() const | CommonParams | inline
getPivot() const | BigattiParams | inline
getPrintActions() const | CommonParams | inline
getPrintDebug() const | CommonParams | inline
getPrintStatistics() const | CommonParams | inline
getProduceCanonicalOutput() const | CommonParams | inline
getUseGenericBaseCase() const | BigattiParams | inline
getUseSimplification() const | SliceLikeParams | inline
getWidenPivot() const | BigattiParams | inline
idealIsMinimal(bool value) | CommonParams | inline
printActions(bool value) | CommonParams | inline
printDebug(bool value) | CommonParams | inline
printStatistics(bool value) | CommonParams | inline
produceCanonicalOutput(bool value) | CommonParams | inline
setInputFormat(const string &value) | CommonParams | inline
setOutputFormat(const string &value) | CommonParams | inline
setPivot(const string &name) | BigattiParams | inline
SliceLikeParams() | SliceLikeParams |
useGenericBaseCase(bool value) | BigattiParams | inline
useSimplification(bool value) | SliceLikeParams | inline
widenPivot(bool value) | BigattiParams | inline