Turbo Constraint Solver
Loading...
Searching...
No Matches
Configuration< Allocator > Struct Template Reference

#include <config.hpp>

Public Types

using allocator_type = Allocator
 

Public Member Functions

CUDA Configuration (const allocator_type &alloc=allocator_type{})
 
 Configuration (Configuration< allocator_type > &&)=default
 
 Configuration (const Configuration< allocator_type > &)=default
 
template<class Alloc >
CUDA Configuration (const Configuration< Alloc > &other, const allocator_type &alloc=allocator_type{})
 
template<class Alloc2 >
CUDA Configuration< allocator_type > & operator= (const Configuration< Alloc2 > &other)
 
CUDA void print_commandline (const char *program_name)
 
CUDA const char * name_of_arch (Arch arch) const
 
CUDA void print_mzn_statistics () const
 
CUDA InputFormat input_format () const
 

Public Attributes

bool print_intermediate_solutions
 
size_t stop_after_n_solutions
 
size_t stop_after_n_nodes
 
bool free_search
 
bool print_statistics
 
bool verbose_solving
 
bool print_ast
 
bool only_global_memory
 
bool noatomics
 
size_t timeout_ms
 
size_t or_nodes
 
size_t and_nodes
 
size_t subproblems_power
 
size_t stack_kb
 
Arch arch
 
battery::string< allocator_typeproblem_path
 
battery::string< allocator_typeversion
 
battery::string< allocator_typehardware
 

Member Typedef Documentation

◆ allocator_type

template<class Allocator >
using Configuration< Allocator >::allocator_type = Allocator

Constructor & Destructor Documentation

◆ Configuration() [1/4]

template<class Allocator >
CUDA Configuration< Allocator >::Configuration ( const allocator_type & alloc = allocator_type{})
inline

◆ Configuration() [2/4]

template<class Allocator >
Configuration< Allocator >::Configuration ( Configuration< allocator_type > && )
default

◆ Configuration() [3/4]

template<class Allocator >
Configuration< Allocator >::Configuration ( const Configuration< allocator_type > & )
default

◆ Configuration() [4/4]

template<class Allocator >
template<class Alloc >
CUDA Configuration< Allocator >::Configuration ( const Configuration< Alloc > & other,
const allocator_type & alloc = allocator_type{} )
inline

Member Function Documentation

◆ operator=()

template<class Allocator >
template<class Alloc2 >
CUDA Configuration< allocator_type > & Configuration< Allocator >::operator= ( const Configuration< Alloc2 > & other)
inline

◆ print_commandline()

template<class Allocator >
CUDA void Configuration< Allocator >::print_commandline ( const char * program_name)
inline

◆ name_of_arch()

template<class Allocator >
CUDA const char * Configuration< Allocator >::name_of_arch ( Arch arch) const
inline

◆ print_mzn_statistics()

template<class Allocator >
CUDA void Configuration< Allocator >::print_mzn_statistics ( ) const
inline

◆ input_format()

template<class Allocator >
CUDA InputFormat Configuration< Allocator >::input_format ( ) const
inline

Member Data Documentation

◆ print_intermediate_solutions

template<class Allocator >
bool Configuration< Allocator >::print_intermediate_solutions

◆ stop_after_n_solutions

template<class Allocator >
size_t Configuration< Allocator >::stop_after_n_solutions

◆ stop_after_n_nodes

template<class Allocator >
size_t Configuration< Allocator >::stop_after_n_nodes

◆ free_search

template<class Allocator >
bool Configuration< Allocator >::free_search

◆ print_statistics

template<class Allocator >
bool Configuration< Allocator >::print_statistics

◆ verbose_solving

template<class Allocator >
bool Configuration< Allocator >::verbose_solving

◆ print_ast

template<class Allocator >
bool Configuration< Allocator >::print_ast

◆ only_global_memory

template<class Allocator >
bool Configuration< Allocator >::only_global_memory

◆ noatomics

template<class Allocator >
bool Configuration< Allocator >::noatomics

◆ timeout_ms

template<class Allocator >
size_t Configuration< Allocator >::timeout_ms

◆ or_nodes

template<class Allocator >
size_t Configuration< Allocator >::or_nodes

◆ and_nodes

template<class Allocator >
size_t Configuration< Allocator >::and_nodes

◆ subproblems_power

template<class Allocator >
size_t Configuration< Allocator >::subproblems_power

◆ stack_kb

template<class Allocator >
size_t Configuration< Allocator >::stack_kb

◆ arch

template<class Allocator >
Arch Configuration< Allocator >::arch

◆ problem_path

template<class Allocator >
battery::string<allocator_type> Configuration< Allocator >::problem_path

◆ version

template<class Allocator >
battery::string<allocator_type> Configuration< Allocator >::version

◆ hardware

template<class Allocator >
battery::string<allocator_type> Configuration< Allocator >::hardware

The documentation for this struct was generated from the following file: