b027e57e95
- Currently not implemented... Add abseil patch - Add patches/absl-config.cmake Makefile: Add abseil-cpp on unix - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake Makefile: Add abseil-cpp on windows - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake CMake: Add abseil-cpp - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake port to absl: C++ Part - Fix warning with the use of ABSL_MUST_USE_RESULT > The macro must appear as the very first part of a function declaration or definition: ... Note: past advice was to place the macro after the argument list. src: dependencies/sources/abseil-cpp-master/absl/base/attributes.h:418 - Rename enum after windows clash - Remove non compact table constraints - Change index type from int64 to int in routing library - Fix file_nonport compilation on windows - Fix another naming conflict with windows (NO_ERROR is a macro) - Cleanup hash containers; work on sat internals - Add optional_boolean sub-proto Sync cpp examples with internal code - reenable issue173 after reducing number of loops port to absl: Python Part - Add back cp_model.INT32_MIN|MAX for examples Update Python examples - Add random_tsp.py - Run words_square example - Run magic_square in python tests port to absl: Java Part - Fix compilation of the new routing parameters in java - Protect some code from SWIG parsing Update Java Examples port to absl: .Net Part Update .Net examples work on sat internals; Add C++ CP-SAT CpModelBuilder API; update sample code and recipes to use the new API; sync with internal code Remove VS 2015 in Appveyor-CI - abseil-cpp does not support VS 2015... improve tables upgrade C++ sat examples to use the new API; work on sat internals update license dates rewrite jobshop_ft06_distance.py to use the CP-SAT solver rename last example revert last commit more work on SAT internals fix
80 lines
2.5 KiB
Python
80 lines
2.5 KiB
Python
# Copyright 2010-2018 Google LLC
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
"""helpers methods for the cp_model module."""
|
|
|
|
from __future__ import absolute_import
|
|
from __future__ import division
|
|
from __future__ import print_function
|
|
|
|
import numbers
|
|
|
|
INT_MIN = -9223372036854775808 # hardcoded to be platform independent.
|
|
INT_MAX = 9223372036854775807
|
|
INT32_MIN = -2147483648
|
|
INT32_MAX = 2147483647
|
|
|
|
|
|
def AssertIsInt64(x):
|
|
"""Asserts that x is integer and x is in [min_int_64, max_int_64]."""
|
|
if not isinstance(x, numbers.Integral):
|
|
raise TypeError('Not an integer: %s' % x)
|
|
if x < INT_MIN or x > INT_MAX:
|
|
raise OverflowError('Does not fit in an int64: %s' % x)
|
|
|
|
|
|
def AssertIsInt32(x):
|
|
"""Asserts that x is integer and x is in [min_int_32, max_int_32]."""
|
|
if not isinstance(x, numbers.Integral):
|
|
raise TypeError('Not an integer: %s' % x)
|
|
if x < INT32_MIN or x > INT32_MAX:
|
|
raise OverflowError('Does not fit in an int32: %s' % x)
|
|
|
|
|
|
def AssertIsBoolean(x):
|
|
"""Asserts that x is 0 or 1."""
|
|
if not isinstance(x, numbers.Integral) or x < 0 or x > 1:
|
|
raise TypeError('Not an boolean: %s' % x)
|
|
|
|
|
|
def CapInt64(v):
|
|
"""Restrict v within [INT_MIN..INT_MAX] range."""
|
|
if v > INT_MAX:
|
|
return INT_MAX
|
|
if v < INT_MIN:
|
|
return INT_MIN
|
|
return v
|
|
|
|
|
|
def CapSub(x, y):
|
|
"""Saturated arithmetics. Returns x - y truncated to the int64 range."""
|
|
if not isinstance(x, numbers.Integral):
|
|
raise TypeError('Not integral: ' + str(x))
|
|
if not isinstance(y, numbers.Integral):
|
|
raise TypeError('Not integral: ' + str(y))
|
|
AssertIsInt64(x)
|
|
AssertIsInt64(y)
|
|
if y == 0:
|
|
return x
|
|
if x == y:
|
|
if x == INT_MAX or x == INT_MIN:
|
|
raise OverflowError(
|
|
'Integer NaN: subtracting INT_MAX or INT_MIN to itself')
|
|
return 0
|
|
if x == INT_MAX or x == INT_MIN:
|
|
return x
|
|
if y == INT_MAX:
|
|
return INT_MIN
|
|
if y == INT_MIN:
|
|
return INT_MAX
|
|
return CapInt64(x - y)
|