Pygears 如何将接口固定为某个值?

Pygears how to fix interface to some value?

假设我有这个装备

@gear
def test(a: Uint, b: Uint):
    return a + b

我想实例化此模块并将端口“a”连接到某个接口,但我还想将端口“b”固定为某个值。如何正确操作?

您基本上可以在调用 test() 齿轮时直接提供所需的值。假设我想向端口 a 提供 0 的固定值,并向端口 b

提供一些其他接口,比如 b_intf
test(Uint[8](0), b_intf)

在引擎盖下,PyGears 会自动推断 const() 齿轮(来自 pygears.lib,所以上面的代码等同于:

test(const(val=Uint[8](0)), b_intf)

PyGears也支持齿轮的部分应用,所以你也可以先固定端口a,然后提供接口b_intf:

test_0 = test(Uint[8](0))

b_intf | test_0