Halcon 逻辑运算

本文记录 Halcon 中的逻辑运算。

Tuple 逻辑运算符

• 对于 Tuple 的逻辑运算，Halcon 支持一对一、 一对多、 多对多（需要数量相同），多对一的计算方式

逻辑

• Halcon 支持标准正经的逻辑运算符：

  and, or, xor, not

• 此类运算符将变量看做逻辑变量，0 表示 false， 非零为 true

A := true
B := false

C:= A and B
C:= A or B
C:= A xor B
C:= not B

• 上述操作可用函数式操作代替

  tuple_and, tuple_or, tuple_xor, tuple_not

A := [8, 9, 13]
B := 3

tuple_band(A, B, C)
tuple_and(A, B, C)
tuple_or(A, B, C)
tuple_xor(A, B, C)
tuple_not(A, C)

• 运算结果均为 0 (false), 1 (true)

按位逻辑

• Halcon 支持对二进制的按位逻辑运算，运算符：

  band, bor, bxor, bnot

A := true
B := false

C:= A band B
C:= A bor B
C:= A bxor B
C:= bnot B

• Tuple 的按位逻辑运算也有函数表示

  tuple_band, tuple_bor, tuple_bxor, tuple_bnot

• 此类运算符要求 Tuple 中数据为整数，计算时按照数据二进制逐位进行逻辑运算

A := [8, 9, 13]
B := -35

tuple_and(A, B, C)
tuple_bor(A, B, C)
tuple_bxor(A, B, C)
tuple_bnot(A, C)

Tuple 关系运算

• 逻辑运算的结果经常是关系运算得到的，Halcon 支持常规的关系运算符：

  #(不等于）, >, <, ==

A := 3
B := 2

C := A # B
C := A > B
C := A < B
C := A == B

Image 逻辑运算

• Halcon 支持尺寸相同的图像变量的按位逻辑运算，函数为：

  bit_or, bit_and, bit_not, bit_xor

read_image (Image, 'printer_chip/printer_chip_01')

gen_rectangle1 (ROI_0, 100, 100, 200, 200)
gen_rectangle1 (ROI_1, 300, 300, 400, 400)

reduce_domain(Image, ROI_0, ImageReduced0)
reduce_domain(Image, ROI_1, ImageReduced1)

crop_domain(ImageReduced0, ImagePart0)
crop_domain(ImageReduced1, ImagePart1)

bit_or(ImagePart0, ImagePart1, ImageOr)
bit_and(ImagePart0, ImagePart1, ImageAnd)
bit_xor(ImagePart0, ImagePart1, ImageXor)
bit_not(ImagePart0, ImageNot)

Region 的交、并、补运算

姑且将 Region 的交并补操作算作逻辑运算

• Halcon 中 Region 支持交、并、补的集合操作

  • 交集：

    intersection(Region1, Region2 : RegionIntersection : : )

  • 并集：

    union1(Region : RegionUnion : : )
    union2(Region1, Region2 : RegionUnion : : )

  • 补集：

    difference(Region, Sub : RegionDifference : : )

参考资料

• Halcon 20.11.0.0 帮助文档
• https://blog.51cto.com/u_15127599/4320211

文章链接：
https://www.zywvvd.com/notes/coding/halcon/halcon-logic-op/halcon-logic-op/