Interface TArgumentExpressionQueries<TExpr>

Cross-premise expression lookups and analysis.

interface TArgumentExpressionQueries<
    TExpr extends
        TCorePropositionalExpression = TCorePropositionalExpression,
> {
    collectReferencedVariables(): {
        byId: Record<string, { premiseIds: string[]; symbol: string }>;
        bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
        variableIds: string[];
    };
    getAllExpressions(): TExpr[];
    getExpression(expressionId: string): TExpr | undefined;
    getExpressionPremiseId(expressionId: string): string | undefined;
    getExpressionsByVariableId(variableId: string): TExpr[];
    hasExpression(expressionId: string): boolean;
    listRootExpressions(): TExpr[];
}

Type Parameters

TExpr extends TCorePropositionalExpression = TCorePropositionalExpression

Implemented by

ArgumentEngine

Index

Methods

collectReferencedVariables getAllExpressions getExpression getExpressionPremiseId getExpressionsByVariableId hasExpression listRootExpressions

Methods

collectReferencedVariables

collectReferencedVariables(): {
    byId: Record<string, { premiseIds: string[]; symbol: string }>;
    bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
    variableIds: string[];
}
Collects all variables referenced by expressions across all premises, indexed both by variable ID and by symbol.

Returns {
    byId: Record<string, { premiseIds: string[]; symbol: string }>;
    bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
    variableIds: string[];
}
An object with variableIds, byId, and bySymbol indexes.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:409

getAllExpressions

getAllExpressions(): TExpr[]
Returns all expressions across all premises, sorted by ID.

Returns TExpr[]
An array of expression entities.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:388

getExpression

getExpression(expressionId: string): TExpr | undefined
Returns an expression by ID from any premise, or undefined if not found.
Parameters
- expressionId: string
  The expression ID to look up.
Returns TExpr | undefined
The expression entity, or undefined.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:366

getExpressionPremiseId

getExpressionPremiseId(expressionId: string): string | undefined
Returns the premise ID that contains the given expression, or undefined.
Parameters
- expressionId: string
  The expression ID to look up.
Returns string | undefined
The owning premise ID, or undefined.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:382

getExpressionsByVariableId

getExpressionsByVariableId(variableId: string): TExpr[]
Returns all expressions that reference the given variable ID, across all premises.
Parameters
- variableId: string
  The variable ID to search for.
Returns TExpr[]
An array of referencing expression entities.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:396

hasExpression

hasExpression(expressionId: string): boolean
Returns true if an expression with the given ID exists in any premise.
Parameters
- expressionId: string
  The expression ID to check.
Returns boolean
Whether the expression exists.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:374

listRootExpressions

listRootExpressions(): TExpr[]
Returns the root expression from each premise that has one.

Returns TExpr[]
An array of root expression entities.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:402

Interface TArgumentExpressionQueries<TExpr>

Type Parameters

Implemented by

Index

Methods

Methods

collectReferencedVariables

Returns {
    byId: Record<string, { premiseIds: string[]; symbol: string }>;
    bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
    variableIds: string[];
}

getAllExpressions

Returns TExpr[]

getExpression

Parameters

Returns TExpr | undefined

getExpressionPremiseId

Parameters

Returns string | undefined

getExpressionsByVariableId

Parameters

Returns TExpr[]

hasExpression

Parameters

Returns boolean

listRootExpressions

Returns TExpr[]

Settings

On This Page

Interface TArgumentExpressionQueries<TExpr>

Type Parameters

Implemented by

Index

Methods

Methods

collectReferencedVariables

Returns { byId: Record<string, { premiseIds: string[]; symbol: string }>; bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>; variableIds: string[];}

getAllExpressions

Returns TExpr[]

getExpression

Parameters

Returns TExpr | undefined

getExpressionPremiseId

Parameters

Returns string | undefined

getExpressionsByVariableId

Parameters

Returns TExpr[]

hasExpression

Parameters

Returns boolean

listRootExpressions

Returns TExpr[]

Settings

On This Page

Returns {
byId: Record<string, { premiseIds: string[]; symbol: string }>;
bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
variableIds: string[];
}