Lines Matching refs:modular_value

60   expression.type.integer.modular_value = value
134     expression.type.integer.modular_value = "0"
208     expression.type.integer.modular_value = "0"
231       assert expression.type.integer.modular_value
328     assert arg.type.integer.modular_value, str(expression)
330   unadjusted_modular_value = func(left.type.integer.modular_value,
331                                   right.type.integer.modular_value)
336     expression.type.integer.modular_value = str(unadjusted_modular_value)
338     expression.type.integer.modular_value = str(unadjusted_modular_value %
387     expression.type.integer.modular_value = str(int(bounds[0].modular_value) *
388                                                 int(bounds[1].modular_value))
412     if int(constant.modular_value) == 0:
416       expression.type.integer.modular_value = "0"
418     new_modulus = int(variable.modulus) * abs(int(constant.modular_value))
422     expression.type.integer.modular_value = str(
423         int(variable.modular_value) * int(constant.modular_value) % new_modulus)
447                                                        bound.modular_value)
450     product_of_modular_values *= int(bound.modular_value)
458   expression.type.integer.modular_value = str(product_of_modular_values %
482     assert bounds.minimum_value == bounds.modular_value
483     assert bounds.maximum_value == bounds.modular_value
488     assert int(bounds.minimum_value) % modulus == int(bounds.modular_value)
490     assert int(bounds.maximum_value) % modulus == int(bounds.modular_value)
496     assert bounds.modular_value == bounds.minimum_value
531   expression.type.integer.modular_value = value
553     expression.type.integer.modular_value = (
558   result_modular_value = args[0].type.integer.modular_value
574         (arg.type.integer.modulus, arg.type.integer.modular_value))
576   expression.type.integer.modular_value = str(result_modular_value)
667         (if_true.type.integer.modulus, if_true.type.integer.modular_value),
668         (if_false.type.integer.modulus, if_false.type.integer.modular_value))
670     expression.type.integer.modular_value = str(new_modular_value)