klara.klara_z3.plugins.99_math_z3

module documentation
(source)

extension to support math.ceil and math.floor floor and ceil by default will just bypassed. Specifically target ceil division (math.ceil(float(x)/y))

Function register Undocumented
Function unregister Undocumented
Constant MANAGER Undocumented
Function _infer_ceil_division Ceiling division will be implemented by using (x + y - 1) / y taken from: https://stackoverflow.com/a/2745086/9677833
Function _infer_math_ceil_floor The strategy will be ignoring the call
Function _is_ceil_div Undocumented
Function _is_math_ceil_floor Undocumented
def register(): (source)

Undocumented

def unregister(): (source)

Undocumented

MANAGER = (source)

Undocumented

Value
cov_manager.CovManager()
@inference.inference_transform_wrapper
def _infer_ceil_division(node, context): (source)

Ceiling division will be implemented by using (x + y - 1) / y taken from: https://stackoverflow.com/a/2745086/9677833

Parameters
node:nodes.CallUndocumented
contextUndocumented
@inference.inference_transform_wrapper
def _infer_math_ceil_floor(node, context): (source)

The strategy will be ignoring the call

Parameters
node:nodes.CallUndocumented
contextUndocumented
def _is_ceil_div(node): (source)

Undocumented

Parameters
node:nodes.CallUndocumented
def _is_math_ceil_floor(node, math_or_ceil=None): (source)

Undocumented

Parameters
node:nodes.CallUndocumented
math_or_ceilUndocumented