Lattice Land Powerdomains Library
|
#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< VariableOrder > | lala::variable_order_of_string (const StringType &str) |
const char * | lala::string_of_value_order (ValueOrder order) |
template<class StringType > | |
std::optional< ValueOrder > | lala::value_order_of_string (const StringType &str) |