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 Parameters

    Index

    Properties

    Snapshot of all argument engines.

    Snapshot of the claim-axiom library.

    Snapshot of the claim-citation library.

    Snapshot of the claim library.

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

    Snapshot of the fork library.