|
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 |