TriggerTree 类

定义

触发器树根据通用化/专用化来组织计算器,以便更轻松地使用规则。

public class TriggerTree
type TriggerTree = class
Public Class TriggerTree
继承
TriggerTree

注解

如果在帧上计算的表达式为 true,则触发器表达式将生成 true。 表达式本身由任意布尔函数组成, (“谓词”) 与 && 组合 ||!. 大多数谓词是在传入的帧上表示的,但它们可以是任何东西,甚至还有优化或比较它们的方法。 通过将计算器组织到树 (从技术上讲是 DAG) 可以通过减少规则之间的耦合来更轻松地使用规则。 例如,如果某个谓词 A 为 true,则规则适用,如果 A && B 为 true,则应用的另一个规则更专用。 如果第二个表达式为 true,则由于我们知道关系,因此可以忽略第一个规则,即使它的表达式为 true。 如果没有此类功能才能添加第二个规则,则必须将第一个规则更改为 A && !B。

构造函数

TriggerTree()

初始化 TriggerTree 类的新实例。

属性

Comparers

获取字典的值,该字典具有 IPredicateComparer 值,并带有字符串键。

Optimizers

获取用于优化子句的优化器列表。

Root

获取或设置根节点的值。

TotalTriggers

获取或设置触发器的总数。

方法

AddTrigger(Expression, Object, Quantifier[])

将触发器表达式添加到树。

AddTrigger(String, Object, Quantifier[])

将触发器表达式添加到树。

GenerateGraph(String)

生成给定路径的图形。

Matches(Object)

返回给定当前状态的可能匹配项。

RemoveTrigger(Trigger)

从树中删除触发器。

ToString()

返回表示当前对象的字符串。

TreeToString(Int32)

生成描述树的字符串。

VerifyTree()

验证树是否满足专用化/通用化固定变量。

适用于