proposit-core
    Preparing search index...

    Type Alias TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TOriginDocument, TOriginLink, TOriginAnchor>

    Serializable snapshot of a PropositCore instance. Contains snapshots of all managed libraries: arguments, claims, claim citations, axioms, and fork records.

    type TPropositCoreSnapshot<
        TArg extends TCoreArgument = TCoreArgument,
        TPremise extends TCorePremise = TCorePremise,
        TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
        TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
        TClaim extends TCoreClaim = TCoreClaim,
        TCitation extends TCoreClaimConnection = TCoreClaimConnection,
        TAxiom extends TCoreClaimConnection = TCoreClaimConnection,
        TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord,
        TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord,
        TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord,
        TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord,
        TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord,
        TOriginDocument extends TCoreOriginDocument = TCoreOriginDocument,
        TOriginLink extends TCoreOriginLink = TCoreOriginLink,
        TOriginAnchor extends TCoreOriginAnchor = TCoreOriginAnchor,
    > = {
        arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
        axioms: TClaimConnectionLibrarySnapshot<TAxiom>;
        citations: TClaimConnectionLibrarySnapshot<TCitation>;
        claims: TClaimLibrarySnapshot<TClaim>;
        forks: TForkLibrarySnapshot<
            TArgFork,
            TPremiseFork,
            TExprFork,
            TVarFork,
            TClaimFork,
        >;
        origins?: TOriginLibrarySnapshot<
            TOriginDocument,
            TOriginLink,
            TOriginAnchor,
        >;
    }

    Type Parameters

    Index

    Properties

    arguments axioms citations claims forks origins?

    Properties

    arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>

    Snapshot of all argument engines.

    axioms: TClaimConnectionLibrarySnapshot<TAxiom>

    Snapshot of the claim-axiom library.

    citations: TClaimConnectionLibrarySnapshot<TCitation>

    Snapshot of the claim-citation library.

    claims: TClaimLibrarySnapshot<TClaim>

    Snapshot of the claim library.

    forks: TForkLibrarySnapshot<
        TArgFork,
        TPremiseFork,
        TExprFork,
        TVarFork,
        TClaimFork,
    >

    Snapshot of the fork library.

    origins?: TOriginLibrarySnapshot<TOriginDocument, TOriginLink, TOriginAnchor>

    Snapshot of the origin library. Optional on input only: a snapshot written before origin data existed carries no such slot, and absence is unambiguously "no origin data" — unlike the axiom slot, no earlier field ever held it. PropositCore.fromSnapshot defaults it to an empty library rather than refusing the payload.

    Settings

    Member Visibility

    On This Page

    Properties