一个实施方式的梯形程序检索装置10的主要部分框图。本实施方式的梯形程序检索装置10是对梯形程序的编辑装置、监视装置等安装了本发明所提出的梯形程序的检索功能而得到的装置。
[0041]梯形程序检索装置10所具备的CPU11是整体地控制梯形程序检索装置10的处理器，经由总线18读出存储在ROM 12中的系统程序，按照该系统程序控制梯形程序检索装置10。在RAM 13中设置了用于存储暂时的计算数据、在显示器16显示的显示数据、经由键盘15等输入的各种数据的工作存储器区域以及存储成为检索和编辑对象的梯形程序等顺序程序的区域。
[0042]二次存储装置14由硬盘装置、存储卡、USB存储器这样的非易失性存储装置、电池备份的非易失性存储器等构成，存储有梯形程序检索装置10处理的梯形程序等顺序程序、设定文件、参数文件等各种文件。
[0043]梯形程序检索装置10经由通信接口17与顺序控制装置20连接，将在梯形程序检索装置10中通过操作员的操作进行编辑后的梯形程序等顺序程序经由该通信接口 17发送给顺序控制装置20。顺序控制装置20经由通信接口25接收该顺序程序后将其存储到在RAM 23中设置的用于存储顺序程序的区域，通过由CPU 21执行该存储的顺序程序，进行顺序控制。省略说明顺序控制装置20的其它结构。
[0044]在梯形程序检索装置10上，通过操作员的操作执行以下说明的梯形程序检索处理。CPU 11执行在ROM 12中存储的系统程序内包含的梯形程序检索处理程序，由此实现该处理。
[0045]在梯形程序检索装置10的RAM13内存储有在梯形程序检索处理中利用的图2所示的各种数据。
[0046]“程序数据”是将成为检索对象的梯形程序中的梯形电路的数据进行了排列的数据的集合。“电路指针”用于指示程序数据中的梯形电路的位置。
[0047]在“检索信号表”中保存由操作员输入的成为检索条件的信号的一览。“信号指针”用于指示检索信号表中的信号的位置。
[0048]在“检索逻辑表”中保存由操作员输入的成为检索条件的逻辑运算的一览。“逻辑指针”用于指示检索逻辑表中的逻辑运算的位置。
[0049]“检索结果表”用于保存执行梯形程序检索处理的结果，即判定为匹配的梯形电路的位置信息。“结果指针”用于指示检索结果表中的信息的位置。
[0050]图3表示使用这些各个数据执行的梯形程序检索处理的概要流程图。
[0051 ][步骤SAOl ]对检索指针设定I。
[0052][步骤SA02]对电路指针设定I。
[0053][步骤SA03]判定是否剩余成为检索对象的梯形电路的数据，即电路指针是否在成为检索对象的梯形电路的个数Ne以下。在电路指针在Ne以下的情况下，进入到步骤SA04，在不是这样的情况下，进入到步骤SA12。
[0054][步骤SA04]从程序数据的电路指针所指的位置获取梯形电路的数据。
[0055][步骤SA05]对在步骤SA04中提取出的梯形电路的数据执行后述的检索信号有无判定处理，检索在该梯形电路中是否包含成为检索对象的所有信号。
[0056][步骤SA06]在步骤SA05中执行的检索信号有无判定处理中，判定在梯形电路中是否已包含了成为检索对象的所有信号。在包含的情况下，进入到步骤SA07，在不包含的情况下，进入到步骤SAl I。
[0057][步骤SA07]对在步骤SA04中提取出的梯形电路的数据执行后述的检索逻辑有无判定处理，检索在该梯形电路中是否包含成为检索对象的信号的所有检索逻辑。
[0058][步骤SA08]在步骤SA07中执行的检索逻辑有无判定处理中，判定在梯形电路中是否已包含成为检索对象的信号的所有检索逻辑。在包含的情况下，进入到步骤SA09，在不包含的情况下，进入到步骤SAl I。
[0059][步骤SA09]在检索结果表中在结果指针所指的位置上保存电路指针的值。
[0060][步骤SA10]将结果指针增加(递增)1。
[0061][步骤SA11]将电路指针增加(递增)1，返回到步骤SA03。
[0062][步骤SA12]从检索结果表中提取全部的在结果指针之前的位置上存储的指针值，在画面上显示在该指针值所指示的位置上存储的梯形电路的一览，然后结束本处理。
[0063]图4是在图3的流程图的步骤SA05中执行的检索信号有无判定处理的概要流程图。
[0064][步骤SBOl]对信号指针设定I。
[0065][步骤SB02]判定是否剩余未检索的检索信号、即信号指针是否在检索信号表中存储的检索信号的个数Ns以下。在信号指针为Ns以下的情况下，进入到步骤SB03，在不是这样的情况下，进入到步骤SB07。
[0066][步骤SB03]从检索信号表的信号指针所指的位置获取检索信号。
[0067][步骤SB04]使用在步骤SB03中获取的检索信号检索成为检索对象的梯形电路。
[0068][步骤SB05]在步骤SB04中，判定在梯形电路中是否包含检索信号。在包含的情况下，进入到步骤SB06，在不包含的情况下，进入到步骤SB08。
[0069][步骤SB06]使信号指针增加(递增)I，返回到步骤SB02。
[0070][步骤SB07]判定为检索信号全部被找出，结束本处理。
[0071][步骤SB08]判定为检索信号未被找出，结束本处理。
[0072]图5是在图3的流程图的步骤SA07中执行的检索逻辑有无判定处理的概要流程图。
[0073][步骤SC01]对逻辑指针设定I。
[0074][步骤SC02]判定是否剩余未检索的检索逻辑、即逻辑指针是否在检索逻辑表中存储的检索逻辑的个数NI以下。在逻辑指针为NI以下的情况下，进入到步骤SC03，在不是这样的情况下，进入到步骤SC07。
[0075][步骤SC03]从检索逻辑表的逻辑指针所指的位置获取检索逻辑。
[0076][步骤SC04]对在步骤SC03中获取到的检索逻辑以及从程序数据中获取到的成为检索对象的梯形电路，执行后述的检索逻辑一致判定处理。
[0077][步骤SC05]在步骤SC04中，判定在梯形电路中是否包含检索逻辑。在包含的情况下，进入到步骤SC06，在并不包含的情况下，进入到步骤SC08。
[0078][步骤SC06]将逻辑指针增加(递增)1，返回到步骤SC02。
[0079][步骤SC07]判定为检索逻辑全部被找出，结束本处理。
[0080][步骤SC08]判定为检索逻辑未被找出，结束本处理。
[0081]在到目前为止说明的各处理中，能够比较简单地安装用于判定在特定的梯形电路中是否包含指定的检索信号的处理，但是，另一方面，用于判定在特定的梯形电路中是否包含某逻辑运算的处理，在与以往相同地通过命令的排列、梯形图的图案的比较来进行判定时，有时产生问题。使用图6、图7说明该问题。
[0082]如图6、图7所示的#2-1的梯形电路那样，如果是部分地包含了信号A与信号B的逻辑积本身的梯形电路，则通过以往的基于命令的排列、梯形图的图案的一致的判定方法，能够判定为梯形电路与检索条件匹配。
[0083]然而，在实际的梯形电路中，很多时候还附加了表示附加条件、例外条件的接点，虽然大体将信号A与信号B的逻辑积作为动作条件，但如#2-2、#2_3那样，插入了与其它接点的逻辑运算的梯形电路也很多。在为#2-2、#2-3那样的梯形电路的情况下，整体看可知信号A与信号B以逻辑积的形式进行运算，但是在电路中还出现了其他的接点，因此存在基于命令的排列、梯形图的图案的一致的检索方法中，判定为“不匹配”的问题。
[0084]因此，当使用以往的基于命令的排列、梯形电路的图案的一致判定来检索梯形电路时，能够判定为#2-1匹配，另一方面，在#2-2、#2-3那样的包含其它动作条件的梯形电路的情况下，由于存在插入的其它接点，在基于命令的排列、梯形图的图案的一致的检索方法中判定为“不匹配”。
[0085]因此，在本发明中，导入了根据所关注的两个接点彼此的位置关系判别该接点的逻辑连接关系，由此排除其它接点的影响来进行一致判定的检索逻辑一致判定处理。检索逻辑一致判定处理具有若干个方法。
[0086]使用图8A、图SB、图SC说明使用了梯形电路的简化处理的检索逻辑一致判定处理的示例。在使用了梯形电路的简化处理的检索逻辑一致判定处理中，通过以下顺序判定在梯形电路中是否包含检索逻辑(A and B)。
[0087 ][顺序I ]分别各选择一个梯形电路中的信号A和信号B。在出现多个相同信号的情况下，对其全部组合执行以下顺序2?4。
[0088][顺序2]关于所选择的信号A和信号B以外的所有信号，反复执行以下顺序2-1?2-3，从而