Parameters
Qlasskit allow to create qlassf
function with parameters. Those parameters are not free variables of the final circuit, and need to be bound before compilation.
In the next example we define test
with a parameter a
; after binding the parameter a
to True
, the final function expression will be b
.
from qlasskit import qlassf, Parameter
@qlassf
def test(a: Parameter[bool], b: bool) -> bool:
return a and b
qf = test.bind(a=True)
qf.expressions
[(_ret, b)]
Parameterizable qlassf also supports custom types, and complex types like Qlist
and Qtuple
.
from qlasskit import Qlist, Qint, Qint4
@qlassf
def test(a: Parameter[Qlist[Qint[2], 4]], b: Qint[4]) -> Qint[4]:
s = Qint4(0)
for n in a:
s += n
return s + b
qf = test.bind(a=[2, 1, 0, 3])
qf.expressions
[(_ret.0, b.0),
(_ret.1, ~b.1),
(_ret.2, ~(b.1 ^ b.2)),
(_ret.3, b.2 ^ b.3 ^ (b.1 & ~b.2))]
qf.circuit().export().draw("mpl")
![_images/d104916566a99e2da51900e9162fefb55e749ecadff8c23ba5799ed5707897f0.png](_images/d104916566a99e2da51900e9162fefb55e749ecadff8c23ba5799ed5707897f0.png)