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 | ) |