Lattice Land Powerdomains Library
|
#include <split_strategy.hpp>
Public Types | |
using | allocator_type = Allocator |
Public Member Functions | |
CUDA | StrategyType (const Allocator &alloc=Allocator{}) |
StrategyType (const StrategyType< Allocator > &)=default | |
StrategyType (StrategyType< Allocator > &&)=default | |
StrategyType & | operator= (StrategyType< Allocator > &&)=default |
StrategyType & | operator= (const StrategyType< Allocator > &)=default |
CUDA | StrategyType (VariableOrder var_order, ValueOrder val_order, battery::vector< AVar, Allocator > &&vars) |
CUDA allocator_type | get_allocator () const |
template<class StrategyType2 > | |
CUDA | StrategyType (const StrategyType2 &other, const Allocator &alloc=Allocator{}) |
Public Attributes | |
VariableOrder | var_order |
ValueOrder | val_order |
battery::vector< AVar, Allocator > | vars |
Friends | |
template<class Alloc2 > | |
class | StrategyType |
A split strategy consists of a variable order and value order on a subset of the variables.
|
default |
|
default |
|
inline |
|
inline |
|
default |
|
default |
|
inline |
VariableOrder lala::StrategyType< Allocator >::var_order |
ValueOrder lala::StrategyType< Allocator >::val_order |