cp_model_helper.py File Reference

Go to the source code of this file.

Namespaces
namespace	ortools
namespace	ortools.sat
namespace	ortools.sat.python
namespace	ortools.sat.python.cp_model_helper

Functions
bool	ortools.sat.python.cp_model_helper.is_boolean (Any x)
bool	ortools.sat.python.cp_model_helper.is_zero (Any x)
bool	ortools.sat.python.cp_model_helper.is_one (Any x)
bool	ortools.sat.python.cp_model_helper.is_minus_one (Any x)
int	ortools.sat.python.cp_model_helper.assert_is_int64 (Any x)
int	ortools.sat.python.cp_model_helper.assert_is_int32 (Any x)
int	ortools.sat.python.cp_model_helper.assert_is_zero_or_one (Any x)
Union[int, float]	ortools.sat.python.cp_model_helper.assert_is_a_number (Any x)
int	ortools.sat.python.cp_model_helper.to_capped_int64 (int v)
int	ortools.sat.python.cp_model_helper.capped_subtraction (int x, int y)

Variables
int	ortools.sat.python.cp_model_helper.INT_MIN = -9223372036854775808
int	ortools.sat.python.cp_model_helper.INT_MAX = 9223372036854775807
int	ortools.sat.python.cp_model_helper.INT32_MIN = -2147483648
int	ortools.sat.python.cp_model_helper.INT32_MAX = 2147483647