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

Serializable snapshot of an ArgumentLibrary. Contains snapshots of all managed ArgumentEngine instances.

type TArgumentLibrarySnapshot<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> = {
    arguments: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>[];
}

Type Parameters

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

Index

Properties

Properties

arguments

arguments: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>[]

Snapshots of all argument engines in the library.