proposit-core
    Preparing search index...

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

    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,
    > = {
        arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
        axioms: TClaimConnectionLibrarySnapshot<TAxiom>;
        citations: TClaimConnectionLibrarySnapshot<TCitation>;
        claims: TClaimLibrarySnapshot<TClaim>;
        forks: TForkLibrarySnapshot<
            TArgFork,
            TPremiseFork,
            TExprFork,
            TVarFork,
            TClaimFork,
        >;
    }

    Type Parameters

    Index

    Properties

    arguments axioms citations claims forks

    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.

    Settings

    Member Visibility

    On This Page

    Properties