kdrag.solvers.symunion.py2expr

kdrag.solvers.symunion.py2expr(x: object) → ExprRef

kdrag.solvers.symunion.py2expr(x: ExprRef) → ExprRef

kdrag.solvers.symunion.py2expr(x: int) → ExprRef

kdrag.solvers.symunion.py2expr(x: float) → ExprRef

kdrag.solvers.symunion.py2expr(x: bool) → ExprRef

kdrag.solvers.symunion.py2expr(x: str) → ExprRef

kdrag.solvers.symunion.py2expr(x: tuple) → ExprRef

kdrag.solvers.symunion.py2expr(x: list) → ExprRef

kdrag.solvers.symunion.py2expr(x: complex) → ExprRef

kdrag.solvers.symunion.py2expr(x: set) → ExprRef

kdrag.solvers.symunion.py2expr(x: frozenset) → ExprRef

>>> py2expr(1)
1
>>> py2expr(1.5)
3/2
>>> py2expr(True)
True
>>> py2expr("hello")
"hello"
>>> py2expr((1, 2))
Tuple_Int_Int(1, 2)
>>> py2expr({1, 2})
Store(Store(K(Int, False), 1, True), 2, True)
>>> py2expr([1,2,4,6])
Concat(Unit(1), Concat(Unit(2), Concat(Unit(4), Unit(6))))
>>> py2expr(1+2j)
C(1, 2)

Parameters:

x (object)

Return type:

ExprRef