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

Classes

class  BAB
 
class  Branch
 
class  SearchTree
 
class  SplitStrategy
 
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
}
 

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