Inheritance diagram for GcdSplit:
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... | |
 Public Member Functions inherited from PivotSplit | |
| virtual bool | isPivotSplit () const |
| If returns true, only call getPivot. More... | |
| Public Member Functions inherited from SplitStrategyCommon | |
| virtual void | getPivot (Term &pivot, Slice &slice, const TermGrader &grader) const |
| Sets pivot to the pivot of a pivot split on slice. More... | |
| 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... | |
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 313 of file SplitStrategy.cpp.
Member Function Documentation
◆ getName()
|
inlinevirtual |
Returns the name of the strategy.
Implements SplitStrategy.
Definition at line 315 of file SplitStrategy.cpp.
◆ getPivot()
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 323 of file SplitStrategy.cpp.
◆ staticGetName()
|
inlinestatic |
Definition at line 319 of file SplitStrategy.cpp.
The documentation for this class was generated from the following file:
