sat/parameters_validation.cc File Reference

Go to the source code of this file.

Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.
	operations_research::sat

Macros
#define	TEST_IN_RANGE(name, min, max)
#define	TEST_NON_NEGATIVE(name)
#define	TEST_POSITIVE(name)
#define	TEST_NOT_NAN(name)
#define	TEST_IS_FINITE(name)

Functions
std::string	ValidateParameters (const SatParameters &params)

Macro Definition Documentation

TEST_IN_RANGE

#define TEST_IN_RANGE	(		name,
			min,
			max
	)

Value:

  if (params.name() < min || params.name() > max) {                         \
    return absl::StrCat("parameter '", #name, "' should be in [", min, ",", \
                        max, "]. Current value is ", params.name());        \
  }

Definition at line 26 of file sat/parameters_validation.cc.

TEST_IS_FINITE

#define TEST_IS_FINITE

(

name

)

Value:

  if (!std::isfinite(params.name())) {                                   \
    return absl::StrCat("parameter '", #name, "' is NaN or not finite"); \
  }

Definition at line 47 of file sat/parameters_validation.cc.

TEST_NON_NEGATIVE

#define TEST_NON_NEGATIVE

(

name

)

Value:

  if (params.name() < 0) {                                              \
    return absl::StrCat("Parameters ", #name, " must be non-negative"); \
  }

Definition at line 32 of file sat/parameters_validation.cc.

TEST_NOT_NAN

#define TEST_NOT_NAN

(

name

)

Value:

  if (std::isnan(params.name())) {                         \
    return absl::StrCat("parameter '", #name, "' is NaN"); \
  }

Definition at line 42 of file sat/parameters_validation.cc.

TEST_POSITIVE

#define TEST_POSITIVE

(

name

)

Value:

  if (params.name() <= 0) {                                         \
    return absl::StrCat("Parameters ", #name, " must be positive"); \
  }

Definition at line 37 of file sat/parameters_validation.cc.