Lingua

TriggerTree Classe

Definizione

Un albero di trigger organizza gli valutatori secondo generalizzazione/specializzazione per rendere più facile l'uso delle regole.

public class TriggerTree
type TriggerTree = class
Public Class TriggerTree
Ereditarietà
TriggerTree

Commenti

Un'espressione trigger genera vera se l'espressione valutata su un frame è vera. L'espressione stessa consiste in funzioni booleane arbitrarie ("predicati") combinate con && || !. La maggior parte dei predicati è espressa sul frame passed in, ma possono essere qualsiasi cosa—esistono persino modi per ottimizzarli o confrontarli. Organizzando gli valutatori in un albero (tecnicamente un DAG) diventa più facile usare le regole riducendo l'accoppiamento tra regole. Ad esempio, se si applica una regola se un predicato A è vero, allora un'altra regola che si applica se A e B sono veri è più specializzata. Se la seconda espressione è vera, allora poiché conosciamo la relazione possiamo ignorare la prima regola—anche se la sua espressione è vera. Senza questo tipo di capacità, per aggiungere la seconda regola dovresti cambiare la prima diventando A & !B.

Costruttori

Nome Descrizione
TriggerTree()

Inizializza una nuova istanza della classe TriggerTree.

Proprietà

Nome Descrizione
Comparers

Ottiene un valore di un dizionario, che ha valori IPredicateComparer, con chiavi stringa.

Optimizers

Ottiene una lista di ottimizzatori per ottimizzare le clausole.

Root

Ottiene o imposta un valore del nodo radice.

TotalTriggers

Ottiene o imposta il numero totale di trigger.

Metodi

Nome Descrizione
AddTrigger(Expression, Object, Quantifier[])

Aggiungi un'espressione trigger all'albero.

AddTrigger(String, Object, Quantifier[])

Aggiungi un'espressione trigger all'albero.

GenerateGraph(String)

Genera un grafo verso un percorso dato.

Matches(Object)

Restituisci le possibili corrispondenze dato lo stato attuale.

RemoveTrigger(Trigger)

Rimuovi il trigger dall'albero.

ToString()

Restituisce una stringa che rappresenta l'oggetto corrente.

TreeToString(Int32)

Genera una stringa che descriva l'albero.

VerifyTree()

Verifica che l'albero incontri gli invarianti di specializzazione/generalizzazione.

Si applica a