SliceParameters Member List

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

_canonical	SliceParameters	private
_exposeBoundParam	SliceParameters	private
_exposeIndependenceParam	SliceParameters	private
_minimal	SliceParameters	private
_parameters	ParameterGroup	private
_printDebug	SliceParameters	private
_printStatistics	SliceParameters	private
_split	SliceParameters	private
_useBigattiGeneric	SliceParameters	private
_useBoundElimination	SliceParameters	private
_useBoundSimplification	SliceParameters	private
_useIndependence	SliceParameters	private
_useSimplification	SliceParameters	private
_widenPivot	SliceParameters	private
addParameter(Parameter *parameter)	ParameterGroup
begin()	ParameterGroup	inline
end()	ParameterGroup	inline
getCanonical() const	SliceParameters
getPrintDebug() const	SliceParameters
getPrintStatistics() const	SliceParameters
getSplit() const	SliceParameters
getUseBoundElimination() const	SliceParameters
getUseBoundSimplification() const	SliceParameters
getValue(string &str) const	ParameterGroup	virtual
iterator typedef	ParameterGroup
obtainParameters(vector< Parameter * > &parameters)	ParameterGroup
ParameterGroup()	ParameterGroup
setSplit(const string &split)	SliceParameters
setUseIndependence(bool value)	SliceParameters
SliceParameters(bool exposeBoundParams=false, bool exposeIndependenceParam=true, bool supportBigattiAlgorithm=false)	SliceParameters
validateSplit(bool allowLabel, bool allowDegree)	SliceParameters
validateSplitHilbert()	SliceParameters
~ParameterGroup()	ParameterGroup	virtual