Freigeben über


TriggerTree Klasse

Definition

Eine Triggerstruktur organisiert die Auswertung nach Generalisierung/Spezialisierung, um die Verwendung von Regeln zu erleichtern.

public class TriggerTree
type TriggerTree = class
Public Class TriggerTree
Vererbung
TriggerTree

Hinweise

Ein Triggerausdruck generiert true, wenn der in einem Frame ausgewertete Ausdruck true ist. Der Ausdruck selbst besteht aus beliebigen booleschen Funktionen ("Prädikate") in Kombination mit && || !. Die meisten Prädikate werden über den übergebenen Frame ausgedrückt, aber sie können alles sein – es gibt sogar Möglichkeiten, sie zu optimieren oder zu vergleichen. Durch das Organisieren von Auswertern in einer Struktur (technisch gesehen eine DAG) wird es einfacher, Regeln zu verwenden, indem die Kopplung zwischen Regeln reduziert wird. Wenn beispielsweise eine Regel gilt, wenn ein Prädikat A true ist, ist eine andere Regel spezialisierter, die gilt, wenn A && B wahr sind. Wenn der zweite Ausdruck true ist, können wir die erste Regel ignorieren, obwohl ihr Ausdruck true ist, da wir die Beziehung kennen. Ohne diese Art von Funktion, um die zweite Regel hinzuzufügen, müssten Sie die erste ändern, um A && !B zu werden.

Konstruktoren

TriggerTree()

Initialisiert eine neue Instanz der TriggerTree-Klasse.

Eigenschaften

Comparers

Ruft einen Wert eines Wörterbuchs ab, das IPredicateComparer-Werte mit Zeichenfolgenschlüsseln aufweist.

Optimizers

Ruft eine Liste von Optimierern zum Optimieren von Klauseln ab.

Root

Ruft einen Wert des Stammknotens ab oder legt den Wert fest.

TotalTriggers

Ruft die Gesamtzahl der Trigger ab oder legt diese fest.

Methoden

AddTrigger(Expression, Object, Quantifier[])

Fügen Sie der Struktur einen Triggerausdruck hinzu.

AddTrigger(String, Object, Quantifier[])

Fügen Sie der Struktur einen Triggerausdruck hinzu.

GenerateGraph(String)

Generiert ein Diagramm für den angegebenen Pfad.

Matches(Object)

Gibt die möglichen Übereinstimmungen unter Berücksichtigung des aktuellen Zustands zurück.

RemoveTrigger(Trigger)

Entfernen Sie den Trigger aus der Struktur.

ToString()

Gibt eine Zeichenfolge zurück, die das aktuelle Objekt darstellt.

TreeToString(Int32)

Generieren Sie eine Zeichenfolge, die die Struktur beschreibt.

VerifyTree()

Überprüfen Sie, ob die Struktur Spezialisierungs-/Generalisierungsinvarianten erfüllt.

Gilt für: