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 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_type >	problem_path
battery::string< allocator_type >	version
battery::string< allocator_type >	hardware

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

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:

• include/config.hpp