config.hpp File Reference

#include "battery/allocator.hpp"
#include "battery/string.hpp"
#include <cinttypes>

Go to the source code of this file.

Classes
struct	Configuration< Allocator >

Macros
#define	SUBPROBLEMS_POWER   12
#define	STACK_KB   32

Enumerations
enum class	Arch { CPU , GPU }
enum class	InputFormat { XCSP3 , FLATZINC }

Functions
void	usage_and_exit (const std::string &program_name)
Configuration< battery::standard_allocator >	parse_args (int argc, char **argv)

Macro Definition Documentation

SUBPROBLEMS_POWER

#define SUBPROBLEMS_POWER   12

STACK_KB

#define STACK_KB   32

Enumeration Type Documentation

Arch

enum class Arch

strong

Enumerator
CPU
GPU

InputFormat

enum class InputFormat

strong

Enumerator
XCSP3
FLATZINC

Function Documentation

usage_and_exit()

void usage_and_exit

(

const std::string &

program_name

)

parse_args()

Configuration< battery::standard_allocator > parse_args	(	int	argc,
		char **	argv )