Public Member Functions | |
| virtual const char * | getName () const |
| Returns the name of the strategy. More... | |
| virtual void | getPivot (Term &pivot, Slice &slice) const |
| Sets pivot to the pivot of a pivot split on slice. More... | |
| virtual void | getPivot (Term &pivot, Slice &slice, const TermGrader &grader) const |
| Sets pivot to the pivot of a pivot split on slice. More... | |
 Public Member Functions inherited from PivotSplit | |
| virtual bool | isPivotSplit () const |
| If returns true, only call getPivot. More... | |
| Public Member Functions inherited from SplitStrategyCommon | |
| virtual size_t | getLabelSplitVariable (const Slice &slice) const |
| Returns the variable to perform a label split on. More... | |
| virtual bool | isLabelSplit () const |
| If returns true, only call getLabelSplitVariable. More... | |
| Public Member Functions inherited from SplitStrategy | |
| virtual | ~SplitStrategy () |
Static Public Member Functions | |
| static const char * | staticGetName () |
| Static Public Member Functions inherited from SplitStrategy | |
| static auto_ptr< SplitStrategy > | createStrategy (const string &prefix) |
| Returns the strategy whose name has the given prefix. More... | |
Private Attributes | |
| mpz_class | _maxDiff |
| This is member variable used by getPivot. More... | |
| mpz_class | _diff |
| This is member variable used by getPivot. More... | |
Additional Inherited Members | |
| Protected Member Functions inherited from SplitStrategyCommon | |
| Exponent | getMedianPositiveExponentOf (Slice &slice, size_t var) const |
| size_t | getBestVar (const Slice &slice) const |
| Protected Member Functions inherited from SplitStrategy | |
| SplitStrategy () | |
| SplitStrategy (const SplitStrategy &) | |
| SplitStrategy & | operator= (const SplitStrategy &) |
| bool | operator== (const SplitStrategy &) |
| Protected Attributes inherited from SplitStrategyCommon | |
| Term | coVariableForGetBestVar |
Detailed Description
Definition at line 390 of file SplitStrategy.cpp.
Member Function Documentation
◆ getName()
|
inlinevirtual |
Returns the name of the strategy.
Implements SplitStrategy.
Reimplemented in DeprecatedFrobeniusSplit.
Definition at line 392 of file SplitStrategy.cpp.
◆ getPivot() [1/2]
Sets pivot to the pivot of a pivot split on slice.
The slice is not changed mathematically, but e.g. the generators may be permuted.
This method must only be called if isPivotSplit() returns true.
Reimplemented from SplitStrategyCommon.
Definition at line 400 of file SplitStrategy.cpp.
◆ getPivot() [2/2]
|
inlinevirtual |
Sets pivot to the pivot of a pivot split on slice.
Some pivot selection strategies make use of a grading. The slice is not changed mathematically, but e.g. the generators may be permuted.
This method must only be called if isPivotSplit() returns true.
Reimplemented from SplitStrategyCommon.
Definition at line 404 of file SplitStrategy.cpp.
◆ staticGetName()
|
inlinestatic |
Definition at line 396 of file SplitStrategy.cpp.
Member Data Documentation
◆ _diff
|
mutableprivate |
This is member variable used by getPivot.
It has been made a field of the object to avoid having to reinitialize the object with each call.
Definition at line 451 of file SplitStrategy.cpp.
◆ _maxDiff
|
mutableprivate |
This is member variable used by getPivot.
It has been made a field of the object to avoid having to reinitialize the object with each call.
Definition at line 445 of file SplitStrategy.cpp.
The documentation for this class was generated from the following file:
