一种基于动态系统实现复合断言计算的方法

摘要

本发明是一种基于动态系统实现复合断言计算的方法。本发明所述的方法将有效地支持将任意复合断言转换为动态系统，并进一步实现其计算求值。这些断言包括单个简单断言、多个简单断言的顺序多个复合断言的顺序组合、多个简单断言的并行组合、多个复合断言的并行组合、以及上述多个断言的顺序和并行混合组合。本发明与现有的复合断言实现方法相比，具有表达方式更通用、高效率并行化求值、以及使用更简单更简洁的特点。