split_strategy.hpp File Reference

#include "battery/vector.hpp"
#include "battery/shared_ptr.hpp"
#include "branch.hpp"
#include "lala/logic/logic.hpp"
#include "lala/abstract_deps.hpp"

Go to the source code of this file.

Classes
class	lala::SplitStrategy< A, Allocator >
struct	lala::SplitStrategy< A, Allocator >::snapshot_type< Alloc >
struct	lala::SplitStrategy< A, Allocator >::strategy_type< Alloc2 >

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 }