Interface TFormulaTreeVisitor<T>

Visitor callbacks for walking a premise's expression tree. Each method handles one node type and returns a caller-defined result.

interface TFormulaTreeVisitor<T> {
    empty(): T;
    formula(child: T): T;
    operator(type: "not" | "and" | "or" | "implies" | "iff", children: T[]): T;
    variable(symbol: string, variableId: string): T;
}

Type Parameters

Index

Methods

empty formula operator variable

Methods

empty

empty(): T
Called when the premise has no root expression.

Returns T
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:21

formula

formula(child: T): T
Called for each formula (grouping). Receives the rendered child.
Parameters
- child: T
Returns T
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:19

operator

operator(type: "not" | "and" | "or" | "implies" | "iff", children: T[]): T
Called for each operator. Receives the operator type and rendered children.
Parameters
- type: "not" | "and" | "or" | "implies" | "iff"
- children: T[]
Returns T
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:17

variable

variable(symbol: string, variableId: string): T
Called for each variable expression.
Parameters
- symbol: string
- variableId: string
Returns T
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:15

Interface TFormulaTreeVisitor<T>

Type Parameters

Index

Methods

Methods

empty

Returns T

formula

Parameters

Returns T

operator

Parameters

Returns T

variable

Parameters

Returns T

Settings

On This Page