proposit-core
    Preparing search index...

    Interface TExpressionQueries<TExpr>

    Single-premise expression tree reads.

    interface TExpressionQueries<
        TExpr extends
            TCorePropositionalExpression = TCorePropositionalExpression,
    > {
        getChildExpressions(parentId: string | null): TExpr[];
        getDecidableOperatorExpressions(): TExpr[];
        getExpression(id: string): TExpr | undefined;
        getExpressions(): TExpr[];
        getRootExpression(): TExpr | undefined;
        getRootExpressionId(): string | undefined;
    }

    Type Parameters

    Implemented by

    Index

    Methods

    • Returns the child expressions of the given parent, sorted by position.

      Parameters

      • parentId: string | null

        The parent expression ID, or null for root-level children.

      Returns TExpr[]

      An array of child expression entities.

    • Returns the operator expressions a reviewer can accept or reject, in pre-order depth-first tree order.

      Excludes "not" operators (NOT is flipped via a render-time flag, not voted on) and skips formula nodes (they are traversed but never emitted). Returns [] for empty premises and premises with no operators.

      Order is stable across calls on the same PremiseEngine instance; callers typically rely on index for step-queue construction.

      Returns TExpr[]

      An array of decidable operator expression entities.