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