[发明专利]可根据运算条件检索梯形电路的梯形程序检索装置

权利要求书

1.一种梯形程序检索装置，其根据指定的检索条件检索梯形程序中包含的多个梯形电路，其特征在于，具备：

检索条件指定单元，其将至少两个的多个信号以及至少一个的上述多个信号中包含的任意两个信号之间的逻辑运算关系指定为检索条件；

检索信号有无判定单元，其针对包含在上述梯形程序中的上述多个梯形电路，判定包含全部的被指定为上述检索条件的上述多个信号的梯形电路；

检索逻辑有无判定单元，其针对由上述检索信号有无判定单元判定为包含全部的被指定为上述检索条件的信号的上述梯形电路，判定是否包含上述逻辑运算关系；以及

显示单元，其显示由上述检索信号有无判定单元和上述检索逻辑有无判定单元判定为与上述检索条件匹配的上述梯形电路，

上述检索逻辑有无判定单元具备判别单元，该判别单元根据排除了上述逻辑运算关系中包含的各信号以外的全部信号造成的影响时的上述逻辑运算关系中包含的各信号的位置关系，判别上述逻辑运算关系中包含的各信号在上述梯形电路中的连接关系，上述检索逻辑有无判定单元根据上述判别单元的判别结果，进行在上述梯形电路中是否包含上述逻辑运算关系的判定。

2.根据权利要求1所述的梯形程序检索装置，其特征在于，

上述判别单元从上述梯形电路生成从上述梯形电路中删除上述逻辑运算关系中包含的各信号以外的信号而简化的梯形电路，并根据上述简化的梯形电路判别上述逻辑运算关系中包含的各信号在上述梯形电路中的连接关系。

3.根据权利要求1所述的梯形程序检索装置，其特征在于，

上述判别单元从上述梯形电路生成计算树，并根据上述计算树判别上述逻辑运算关系中包含的各信号在上述梯形电路中的连接关系。

4.根据权利要求1～3中的任意一项所述的梯形程序检索装置，其特征在于，

还具备检索模式检索单元，其选择模糊检索模式，

在由上述检索模式检索单元选择了模糊检索模式的情况下，上述检索逻辑有无判定单元进行判定，使得上述逻辑运算关系中包含的信号与没有附加否定的逻辑的信号以及附加了否定的逻辑的信号双方相匹配。