SliceParams Member List

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

_idealIsMinimal	CommonParams	private
_inputFormat	CommonParams	private
_outputFormat	CommonParams	private
_printActions	CommonParams	private
_printDebug	CommonParams	private
_printStatistics	CommonParams	private
_produceCanonicalOutput	CommonParams	private
_split	SliceParams	private
_useBoundElimination	SliceParams	private
_useBoundSimplification	SliceParams	private
_useIndependence	SliceParams	private
_useSimplification	SliceLikeParams	private
CommonParams()	CommonParams
getIdealIsMinimal() const	CommonParams	inline
getInputFormat() const	CommonParams	inline
getOutputFormat() const	CommonParams	inline
getPrintActions() const	CommonParams	inline
getPrintDebug() const	CommonParams	inline
getPrintStatistics() const	CommonParams	inline
getProduceCanonicalOutput() const	CommonParams	inline
getSplit() const	SliceParams	inline
getUseBoundElimination() const	SliceParams	inline
getUseBoundSimplification() const	SliceParams	inline
getUseIndependenceSplits() const	SliceParams	inline
getUseSimplification() const	SliceLikeParams	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
setSplit(const string &name)	SliceParams	inline
SliceLikeParams()	SliceLikeParams
SliceParams()	SliceParams
SliceParams(const CliParams &params)	SliceParams
useBoundElimination(bool value)	SliceParams	inline
useBoundSimplification(bool value)	SliceParams	inline
useIndependenceSplits(bool value)	SliceParams	inline
useSimplification(bool value)	SliceLikeParams	inline