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