Lattice Land Powerdomains Library
Loading...
Searching...
No Matches
split_strategy.hpp File Reference
#include "battery/vector.hpp"
#include "battery/shared_ptr.hpp"
#include "branch.hpp"
#include "lala/logic/logic.hpp"
#include "lala/b.hpp"
#include "lala/abstract_deps.hpp"
#include <optional>

Go to the source code of this file.

Classes

struct  lala::StrategyType< Allocator >
 
class  lala::SplitStrategy< A, Allocator >
 
struct  lala::SplitStrategy< A, Allocator >::snapshot_type< Alloc >
 

Namespaces

namespace  lala
 

Enumerations

enum class  lala::VariableOrder {
  lala::INPUT_ORDER , lala::FIRST_FAIL , lala::ANTI_FIRST_FAIL , lala::SMALLEST ,
  lala::LARGEST
}
 
enum class  lala::ValueOrder {
  lala::MIN , lala::MAX , lala::MEDIAN , lala::SPLIT ,
  lala::REVERSE_SPLIT
}
 

Functions

const char * lala::string_of_variable_order (VariableOrder order)
 
template<class StringType >
std::optional< VariableOrderlala::variable_order_of_string (const StringType &str)
 
const char * lala::string_of_value_order (ValueOrder order)
 
template<class StringType >
std::optional< ValueOrderlala::value_order_of_string (const StringType &str)