Interface TVariableReferences<TArg, TPremise, TExpr, TVar>

Variable reference queries and cascade deletion.

interface TVariableReferences<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> {
    deleteExpressionsUsingVariable(
        variableId: string,
    ): TCoreMutationResult<TExpr[], TExpr, TVar, TPremise, TArg>;
    getReferencedVariableIds(): Set<string>;
    getVariables(): TVar[];
}

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Implemented by

PremiseEngine

Index

Methods

deleteExpressionsUsingVariable getReferencedVariableIds getVariables

Methods

deleteExpressionsUsingVariable

deleteExpressionsUsingVariable(
variableId: string,
): TCoreMutationResult<TExpr[], TExpr, TVar, TPremise, TArg>
Deletes all expressions that reference the given variable ID, including their subtrees. Operator collapse runs after each removal.
Parameters
- variableId: string
  The variable ID whose referencing expressions should be removed.
Returns TCoreMutationResult<TExpr[], TExpr, TVar, TPremise, TArg>
The removed expressions and changeset.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:371

getReferencedVariableIds

getReferencedVariableIds(): Set<string>
Returns the set of variable IDs referenced by expressions in this premise. Only variables that appear in type: "variable" expression nodes are included.

Returns Set<string>
A Set of referenced variable ID strings.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:362

getVariables

getVariables(): TVar[]
Returns all argument-level variables (from the shared VariableManager) sorted by ID. Since the VariableManager is shared across all premises, this returns every registered variable — not just those referenced by expressions in this premise.

Returns TVar[]
An array of variable entities.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:354