Frobby  0.9.0
SliceParams Member List

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

_splitSliceParamsprivate
_useBoundEliminationSliceParamsprivate
_useBoundSimplificationSliceParamsprivate
_useIndependenceSliceParamsprivate
CommonParams()CommonParams
getIdealIsMinimal() const CommonParamsinline
getInputFormat() const CommonParamsinline
getOutputFormat() const CommonParamsinline
getPrintActions() const CommonParamsinline
getPrintDebug() const CommonParamsinline
getPrintStatistics() const CommonParamsinline
getProduceCanonicalOutput() const CommonParamsinline
getSplit() const SliceParamsinline
getUseBoundElimination() const SliceParamsinline
getUseBoundSimplification() const SliceParamsinline
getUseIndependenceSplits() const SliceParamsinline
getUseSimplification() const SliceLikeParamsinline
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
setSplit(const string &name)SliceParamsinline
SliceLikeParams()SliceLikeParams
SliceParams()SliceParams
SliceParams(const CliParams &params)SliceParams
useBoundElimination(bool value)SliceParamsinline
useBoundSimplification(bool value)SliceParamsinline
useIndependenceSplits(bool value)SliceParamsinline
useSimplification(bool value)SliceLikeParamsinline