|
Lattice Land Powerdomains Library
|
Classes | |
| class | BAB |
| class | Branch |
| struct | LightBranch |
| class | SearchTree |
| class | SplitStrategy |
| struct | StrategyType |
| class | Table |
| class | Tables |
Enumerations | |
| enum class | VariableOrder { INPUT_ORDER , FIRST_FAIL , ANTI_FIRST_FAIL , SMALLEST , LARGEST } |
| enum class | ValueOrder { MIN , MAX , MEDIAN , SPLIT , REVERSE_SPLIT } |
Functions | |
| const char * | string_of_variable_order (VariableOrder order) |
| template<class StringType > | |
| std::optional< VariableOrder > | variable_order_of_string (const StringType &str) |
| const char * | string_of_value_order (ValueOrder order) |
| template<class StringType > | |
| std::optional< ValueOrder > | value_order_of_string (const StringType &str) |
Similar to Branch but specialized to binary search tree splitting over universe (e.g. interval).
|
strong |
|
strong |
|
inline |
| std::optional< VariableOrder > lala::variable_order_of_string | ( | const StringType & | str | ) |
|
inline |
| std::optional< ValueOrder > lala::value_order_of_string | ( | const StringType & | str | ) |