def Negation(self) -> "operations_research::Domain":
r"""
Returns {x ∈ Int64, ∃ e ∈ D, x = -e}.
Note in particular that if the negation of Int64 is not Int64 but
Int64 \ {kint64min} !!
"""
return _sorted_interval_list.Domain_Negation(self)
def Negation(self):
return _sorted_interval_list.Domain_Negation(self)
def Negation(self) -> "operations_research::Domain":
return _sorted_interval_list.Domain_Negation(self)