proposit-core
    Preparing search index...

    Type Alias TPremiseEngineSnapshot<TPremise, TExpr>

    type TPremiseEngineSnapshot<
        TPremise extends TCorePremise = TCorePremise,
        TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    > = {
        config?: TLogicEngineOptions;
        expressions: TExpressionManagerSnapshot<TExpr>;
        premise: TOptionalChecksum<TPremise>;
        rootExpressionId?: string;
    }

    Type Parameters

    Index

    Properties

    config? expressions premise rootExpressionId?

    Properties

    config?: TLogicEngineOptions
    expressions: TExpressionManagerSnapshot<TExpr>
    premise: TOptionalChecksum<TPremise>
    rootExpressionId?: string

    Settings

    Member Visibility

    On This Page

    Properties