range Namespace Reference

Variables
	trans = Translator.to_language("z3")
	a = ExprId("a", 8)
	b = ExprId("b", 32)
	computed_range = expr_range(expr)
	s = z3.Solver()
list	cond = []
	z3_expr = trans.from_expr(expr)
	Constraint expr to be in computed intervals. More...

Variable Documentation

a

range.a = ExprId("a", 8)

b

range.b = ExprId("b", 32)

computed_range

range.computed_range = expr_range(expr)

cond

list range.cond = []

s

range.s = z3.Solver()

trans

range.trans = Translator.to_language("z3")

z3_expr

range.z3_expr = trans.from_expr(expr)

Constraint expr to be in computed intervals.