Lattice Land Powerdomains Library
Loading...
Searching...
No Matches
lala Namespace Reference

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< VariableOrdervariable_order_of_string (const StringType &str)
 
const char * string_of_value_order (ValueOrder order)
 
template<class StringType >
std::optional< ValueOrdervalue_order_of_string (const StringType &str)
 

Detailed Description

Similar to Branch but specialized to binary search tree splitting over universe (e.g. interval).

Enumeration Type Documentation

◆ VariableOrder

enum class lala::VariableOrder
strong
Enumerator
INPUT_ORDER 
FIRST_FAIL 
ANTI_FIRST_FAIL 
SMALLEST 
LARGEST 

◆ ValueOrder

enum class lala::ValueOrder
strong
Enumerator
MIN 
MAX 
MEDIAN 
SPLIT 
REVERSE_SPLIT 

Function Documentation

◆ string_of_variable_order()

const char * lala::string_of_variable_order ( VariableOrder  order)
inline

◆ variable_order_of_string()

template<class StringType >
std::optional< VariableOrder > lala::variable_order_of_string ( const StringType &  str)

◆ string_of_value_order()

const char * lala::string_of_value_order ( ValueOrder  order)
inline

◆ value_order_of_string()

template<class StringType >
std::optional< ValueOrder > lala::value_order_of_string ( const StringType &  str)