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_fixpoint (FixpointKind fixpoint) const
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
int	verbose_solving
bool	print_ast
bool	only_global_memory
bool	force_ternarize
bool	disable_simplify
bool	network_analysis
size_t	timeout_ms
size_t	or_nodes
size_t	subproblems_power
size_t	stack_kb
Arch	arch
FixpointKind	fixpoint
size_t	wac1_threshold
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

name_of_fixpoint()

template<class Allocator >

CUDA const char * Configuration< Allocator >::name_of_fixpoint ( FixpointKind  fixpoint ) const

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 >

int 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

force_ternarize

template<class Allocator >

bool Configuration< Allocator >::force_ternarize

disable_simplify

template<class Allocator >

bool Configuration< Allocator >::disable_simplify

network_analysis

template<class Allocator >

bool Configuration< Allocator >::network_analysis

timeout_ms

template<class Allocator >

size_t Configuration< Allocator >::timeout_ms

or_nodes

template<class Allocator >

size_t Configuration< Allocator >::or_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

fixpoint

template<class Allocator >

FixpointKind Configuration< Allocator >::fixpoint

wac1_threshold

template<class Allocator >

size_t Configuration< Allocator >::wac1_threshold

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