该库包含用于分析表达式的POU。当一个复合表达式的总值为 FALSE时，就可以确定导致该结果的组成部分。在SFC编辑器中，标志SFCErrorAnalyzation和SFCErrorAnalyzationTable隐式使用这些函数来检查转移表达式。

有关库POU的描述以及SFC标志如何在CODESYS中显示分析结果的示例，请参见库的文档（在线帮助或直接在库管理器中）。