Type Alias TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>

type TArgumentEngineSnapshot<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> = {
    argument: TOptionalChecksum<TArg>;
    conclusionPremiseId?: string;
    config?: TLogicEngineOptions;
    premises: TPremiseEngineSnapshot<TPremise, TExpr>[];
    variables: TVariableManagerSnapshot<TVar>;
}

Type Parameters

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

Index

Properties

argument conclusionPremiseId? config? premises variables

Properties

argument

argument: TOptionalChecksum<TArg>

`Optional`conclusionPremiseId

conclusionPremiseId?: string

`Optional`config

config?: TLogicEngineOptions

premises

premises: TPremiseEngineSnapshot<TPremise, TExpr>[]

variables

variables: TVariableManagerSnapshot<TVar>