def do(x, y):
"""
:param frozenset[object] x: A set of concrete elements, represented by
an element of the abstract domain.
:param frozenset[object] y: A set of concrete elements, represented by
an element of the abstract domain.
:return: A set of boolean values which contains all the possible
boolean values that can result from testing inequality between
concrete values of each given set in a pairwise manner.
:rtype: frozenset[str]
"""
return boolean_ops.not_(do_eq(x, y))
def do(x, y):
"""
:param (int, int) x: A set of concrete integers, represented by
an element of the interval domain.
:param (int, int) y: A set of concrete integers, represented by
an element of the interval domain.
:return: A set of booleans which contains all the possible values
that can result from testing inequality between concrete values of
each given set in a pairwise manner, represented by an element
of the Boolean domain.
:rtype: frozenset[str]
"""
return boolean_ops.not_(do_eq(x, y))
def do(res, l_constr, r_constr):
"""
:param frozenset[str] res: A set of booleans corresponding to an output
of the "is greater than" test, represented by an element of the
Boolean domain.
:param (int, int) l_constr: A constraint on the left input value of
the "is greater than" test, as an element of the interval domain.
:param (int, int) l_constr: A constraint on the right input value of
the "is greater than" test, as an element of the interval domain.
:return: Two sets of integers describing all the possible inputs
of the "is greater than" test which can result in the given
output, represented by elements of the interval domain. Returns
None if the constraints cannot be satisfied.
:rtype: ((int, int), (int, int)) | None
"""
return do_inv_le(boolean_ops.not_(res), l_constr, r_constr)
def do(res, l_constr, r_constr):
"""
:param frozenset[str] res: A set of booleans corresponding to an output
of the inequality operation, represented by an element of the
Boolean domain.
:param tuple l_constr: A constraint on the left input value of the
inequality operation, as an element of the product domain.
:param tuple r_constr: A constraint on the right input value of the
inequality operation, as an element of the product domain.
:return: Two sets of concrete values describing all the possible inputs
of the inequality operation which can result in the given output,
represented by elements of the product domain. Returns None
if the constraints cannot be satisfied.
:rtype: (frozenset[object], frozenset[object]) | None
"""
return do_inv_eq(boolean_ops.not_(res), l_constr, r_constr)
def do(res, a_constr, b_constr):
return do_inv_eq(boolean_ops.not_(res), a_constr, b_constr)
def do(a, b):
return boolean_ops.not_(do_eq(a, b))