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   15

Enumerations
enum class	Arch { CPU , GPU , BAREBONES , HYBRID }
enum class	FixpointKind { AC1 , WAC1 }
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   15

Enumeration Type Documentation

Arch

enum class Arch

strong

Enumerator
CPU
GPU
BAREBONES
HYBRID

FixpointKind

enum class FixpointKind

strong

Enumerator
AC1
WAC1

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
	)